prolog

2зной

2ответ

Я пытаюсь сделать предикаты такими, что для списков X и Y rmlast истинно, если X и Y являются одним и тем же списком, за исключением того факта, что Y имеет еще 1 элемент. Итак, [1] [1,2] или [3,2] [3

3зной

1ответ

Чтение строки (из файла) в Prolog

Я написал лексер и парсер в Прологе. Он объединяет строку со своим AST. Это часть проекта компилятора/интерпретатора, над которым я работаю. Естественно, теперь я хочу прочитать строку из файла для ее

2зной

2ответ

Что не так с этой версией функтора (Prolog)?

Я попытался написать functor, встроенный в Prolog. Это моя версия: lenlist(L,N) :- lenlist(L,0,N). lenlist([],N,N). lenlist([_|T],P,N) :- P1 is P+1 , lenlist(T,P1,N). functor1(Term,F,N) :- Term =.

1зной

3ответ

Подстановочные файлы Prolog

Мне было интересно, как бы я использовал знак подчеркивания дважды, но проверьте, что оба экземпляра этого подчеркивания унифицированы? То, что я в принципе нужно что-то, что возвращает истину, если с

0зной

1ответ

Процедура маршрутизации пролога

Я пытаюсь написать функцию маршрутизации, но я не могу получить необходимый результат. Это код до сих пор. Предшественник находит узел, связанный с N и возвращает его в качестве P. traceroute(_,L) :-

-1зной

2ответ

Пролог-программа для определения того, имеют ли две пары в списке одну и ту же сумму

Как написать отношение в прологе, которое определяет, есть ли две пары в списке с одинаковой суммой. Отношение должно терпеть неудачу, если не существует пар, суммы которых равны. Отношение также долж