Как мне создать этот предикат в прологе?

Question

Мне нужно написать предикат, который называется stepup(L, Z, X), где L - это список, а Z и X - целые числа. Он должен возвращать true, если Z может быть переведен в X с использованием юридических шагов, заданных пользователем в списке.

Например

stepup([7, 12, 19], 6, 32) 

должна возвращать true так 6 + 7 + 7 + 12 = 32 стартовый номер всегда должен быть Z (здесь 6) и правило следует использовать только шаги из списка. Правило должно работать для всех размеров, (Z, X) всегда положительные.

Я начал с этим

step([V|S],A,D):- 
    sum is A+V, 
    (sum=A -> write('true') 
    ; step(S,sum,D). 

, но не уверен, как поступить

Answer 1

Может быть, это помогает:

stepup(_,I,I). 
stepup(Steps,I0,I) :- 
    I0 < I, 
    member(Step,Steps), 
    I1 is I0 + Step, 
    stepup(Steps,I1,I). 

Давайте его использовать!

?- stepup([7,12,19],6,31). 
false. 

?- stepup([7,12,19],6,32). 
true ; 
true ; 
true ; 
true ; 
true ; 
false. 

Следует отметить, что избыточные ответы во втором запросе обусловлены различными способами, чтобы подойти от 6 к 32 используя шаги [7,12,19].