logical-purity

5зной

1ответ

Вот это первое наблюдение: ?- is_list([]), is_list([_,_,_]). true. Вот еще одно наблюдение: ?- [] = _, [_,_,_] = _. true. Поэтому, почему бы is_list/1 быть реализована таким образом, что ?- is_l

4зной

1ответ

Источник чистых пролога небольших программ

Вопрос: есть ли место с некоторыми программами, которые я могу проверить? Я говорю о стиле стиля розетты, но я пошел туда и увидел, что почти каждая программа решена с помощью не чистого синтаксиса пр

6зной

1ответ

`var (A)` и порядок выполнения

Упражнение 09 на этой странице http://www.ic.unicamp.br/~meidanis/courses/mc336/2009s2/prolog/problemas/ просит создать предикат, который содержит повторяющиеся элементы в подсписках. Простое решения

4зной

2ответ

Order of Goals in Pure Prolog

Я - новый пользователь для пролога. По моим сведениям, Pure Prolog ограничивается предложениями Хорна. Вот очень простая программа пролога - % student(Snr , FirstName , LastName , Semester). stud

8зной

2ответ

Пролог: избегайте избыточных точек выбора (без детерминизма) с оператором cut и без него

Во-первых, я прочитал все другие сообщения о SO относительно использования разрезов в Prolog и определенно вижу проблемы, связанные с их использованием. Тем не менее, для меня все еще есть какая-то не

7зной

2ответ

Как преобразовать if else в полностью декларативный в Prolog?

Это один из моих вопросов в классе. Я был в состоянии создать свою собственную программу на Прологе с кучей если-то еще, но мне сказали, что моя программа не в полной мере декларативный, как его одним

29зной

2ответ

Какое использование делает if_/3?

Предикат if_/3, кажется, fairly popular среди немногих основных вкладчиков в части Пролога переполнения стека. Этот предикат реализуется как таковой, любезно @false: if_(If_1, Then_0, Else_0) :-