prolog-dif

0зной

2ответ

Я новичок в Prolog, и я застреваю в предикате, который я пытаюсь сделать. Целью этого является рекурсия через список квадов [X, Y, S, P] с заданным P, когда квадрат имеет тот же P, который хранит его

5зной

4ответ

Пролог: Первое дублирующее значение

Мне нужно найти первое дублирующее значение в списке. prep(3,[1,3,5,3,5]). Должно быть правдой. prep(5,[1,3,5,3,5]). Должно быть ложным. Я думал проверить равенство с текущим значением и предыдущими ч

4зной

2ответ

Логическая головоломка «Кто является парикмахером» в Прологе

Я читаю Raymond Smullyan's «Издеваться над пересмешником». В книге есть загадка, которая выглядит следующим образом: Любого сходство между Севильей этой истории и известной Севильей Испании (которая н

4зной

2ответ

Почему пролог разбился в этом простом примере?

likes(tom,jerry). likes(mary,john). likes(mary,mary). likes(tom,mouse). likes(jerry,jerry). likes(jerry,cheese). likes(mary,fruit). likes(john,book). likes(mary,book). likes(tom,john). like

8зной

3ответ

Каковы плюсы и минусы использования ручной итерации списка против рекурсии через сбой

Я все время сталкиваюсь с этим, и я никогда не знаю, каким путем его атаковать. Ниже приведены два метода обработки некоторых сезонных фактов. Что я пытаюсь решить, следует ли использовать метод 1 или

27зной

4ответ

Что такое логическое «нет» в Prolog?

Проблема, с которой я сталкиваюсь, немного тривиальна. Я хочу использовать логический не в Прологе, но мне кажется, что not/1 не то, что я хочу: course(ai). course(pl). course(os). have(X,Y) :- co

3зной

2ответ

Как получить доступ к перестановкам списков в прологе?

Я хочу получить доступ к перестановке списка и передать ее в качестве аргумента другим функциям. Это код перестановки: takeout(X,[X|R],R). takeout(X,[F|R],[F|S]) :- takeout(X,R,S), write(S)