Пролог: «findall» для ограниченного числа решений

Как определить (и назвать) соответствующие предикаты сравнения безопасных терминов в ISO Prolog?

Стандартный порядок терминов (ISO / IEC 13211-1 7.2 Порядок терминов) определяется для всех терминов, включая переменные. Хотя для этого есть хорошее примене...

Зайдите в командную строку swi-prolog и введите:

GNU Emacs 23.2.1 Fedora xfce 14ал изучать Prolog и хочу использовать свой emacs в качестве IDE для программирования на Prolog. В настоящее время я использую Emacs для C / C ++. Но не уверен, как начать с Пролога. Я знаю, что в Emacs есть ...

Пролог: «findall» для ограниченного числа решений

Скажем, я хочу найти сумму всех решений предиката, я просто могу использовать findall(L, find(L), Sols),и просто сумма членов Sols. Но что, если find (L) имеет огромное количество (бесконечно, может быть) решений, и я просто хочу получить ...

Prolog: заменить элемент в списке по указанному индексу

Я хотел бы иметь предикат Prolog, который может заменить элемент в списке по указанному индексу. Пример % replace(+List,+Index,+Value,-NewList). ?- L=[a,b,c,d], replace(L,1,z,L2). L2 = [a,z,c,d] Я не знаю, как это сделать. Спасибо за вашу ...

Встроенный интерпретатор пролога / компилятор для Java

Пролог, найдите минимум в списке

вкратце: как найти минимальное значение в списке? (спасибо за совет, каарель)длинная история:Я создал взвешенный график в amzi prolog и дал 2 узла, я могу по...

Встроенный интерпретатор пролога / компилятор для Java

Я работаю над приложением на Java, которое должно делать некоторые сложные логические выводы в рамках своей функциональности. Я хотел бы закодировать мои логические выводы в Prolog или каком-либо другом языке программирования логики / ограничений ...

Что такое хорошая Prolog IDE для Linux? [закрыто]

Мне нужно написать несколько программ на Пролог для класса.Любые рекомендации?