В настоящее время я пытаюсь использовать пролог из java с помощью gnu.prolog ( http://www.gnu.org/software/gnuprologjava/ ). Благодаря большой помощи CapelliC теперь у меня есть программа на прологе, которая идеально подходит для моей цели....

Я пытаюсь написать программу gprolog, которая подтверждает это, учитывая некоторый "разумный" фон из эту песню (слушайте здесь :-) ), ответит утвердительно, когда я запрошу grandpa(me, me) (т. е. действительно ли я сам себе дедушка?). Это было...

Есть ли обходной путь, чтобы заставить sure_loaded/1 работать в GNU Prolog, как это работает во многих других системах Prolog? Цель состоит в том, чтобы иметь преамбулу, чтобы остальная часть кода могла использовать sure_loaded/1 независимо от того,...

Я написал быстрый предикат на Прологе, опробовав CLP (FD) и его способность решать системы уравнений. problem(A, B) :- A-B #= 320, A #= 21*B. Когда я звоню в SWI, я получаю: ?- problem(A,B). 320+B#=A, 21*B#=A. В то время как...