Каковы минимальные/максимальные целые числа в gprolog? Есть ли способ сослаться на эти числа без использования «магического числа»?

Как написать стандартным подходящим способом avs_term_rearranged(AVs, T, AVsR) с заданными AVs и T так, чтобы AVsR было перестановкой AVs с элементами, расположенными в том же порядке, что и их переменные в порядке слева направо в T ....

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

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

У меня есть файл memo.dat со следующими условиями: memo(verdi,11). memo(rossi,7). memo(bianchi,9). memo(blu,7). memo(neri,11). memo(carli,11). memo(rapini,8). Я написал программу на прологе, чтобы получить набор кортежей из этого файла:...

Я только что наткнулся на определение ;/2 в Руководстве по SWI Prolog , в котором говорится: The `or' predicate is defined as: Goal1 ; _Goal2 :- Goal1. _Goal1 ; Goal2 :- Goal2. Разве это не означало бы, что ;/2 ведет себя точно так же,...

Все реализации функционального языка программирования scheme должны выполнить оптимизацией хвостового вызова всякий раз, когда это применимо. Есть ли у iso-prolog ? и / или аналогичные требования? Мне ясно, что функции процессора Prolog,...

Я столкнулся с программой на Прологе, содержащей вложенное if-then-else вида p(X,Y) :- (cond1(X,Y) -> q(X)); true, (cond2(X,Y) -> q(Y)); true. у которого были неожиданные ответы. Причина такого поведения та же, что и в...

Пол Грэм спросил : Как в вашем любимом языке программирования отсортировать список строк «a», «bcd», «ef» и «ghij» в порядке убывания длины? Одним из предложенных решений было: tag_negative_len(Str, NegLen-Str) :- atom_length(Str,...

Мне нужно получить индекс аргумента термина в Прологе. Predicate arg / 3, похоже, делает противоположное тому, что мне нужно: arg(Index, Term, Value). arg/3 завершается ошибкой, если Index является переменной, поэтому получить индекс...