我正在尝试为Prolog中的第6天AdventCode编写解决方案.(http://adventofcode.com/day/6)
以前我写过一个动态创建和替换谓词的解决方案,以跟踪灯光.不出所料,它相当慢,所以我决定尝试使用更"功能"的风格来编写它; 即创建一个包含所有灯光的列表,然后操纵该列表.
我正在尝试构建初始列表,其中包含一百万个元素,每个元素都是一个术语light(X, Y, Status).我想我会从一个列表开始[light(0, 0, off)],然后为它添加新术语.为此,我查看列表的第一个元素,然后确定下一个元素应该是什么,然后预先添加.重复.
我有一个谓词next_light/2,它接受一个亮点,并确定下一个光(要预先)应该是什么.如果不再需要添加灯光,则返回done:
next_light(light(X, Y, _), NextLight) :-
X < 999,
NextX is X + 1,
NextLight = light(NextX, Y, off).
next_light(light(999, Y, _), NextLight) :-
Y < 999,
NextY is Y + 1,
NextLight = light(0, NextY, off).
next_light(light(999, 999, _), done).
然后我尝试使用以下代码构造列表:
init_lights(Lights) :-
gen_lights([light(0, 0, off)], Lights).
gen_lights(Lights, AllLights) :-
[Light|_] = Lights,
next_light(Light, NextLight),
add_light(Lights, NextLight, AllLights).
add_light(Lights, done, Lights). …