Печать списка условий IF

Question

У меня есть несколько условий Пролога, таких как:

if has(X,Y)
     then need(X,Z).

Можно ли как-нибудь написать команду для перечисления всего этого?

Заранее спасибо.

Answer 1

Это даже не близко к правильному синтаксису пролога.Вот отличный веб-сайт , который вы можете использовать для изучения основ Пролога.

В Интернете доступно множество других ресурсов, которые вы можете найти с помощью поиска Google (бесплатные электронные книги, примеры кодов и т. Д.).).Также есть книга под названием Программирование на прологе от Уильяма Ф. Клоксина , которую я настоятельно рекомендую.

Answer 2

Это то, что имел в виду первоначальный спрашивающий?

has(student, ambiguousquestion).

need(student, studymore).
need(student, doresearch).
need(student, reprasequestion).
need(student, helpustohelpyou).

?- has(X,Y), findall(Z, need(X,Z), Res), write(Res).
[studymore,doresearch,reprasequestion,helpustohelpyou]
X = student,
Y = ambiguousquestion,
Res = [studymore, doresearch, reprasequestion, helpustohelpyou].