2
ответа
'если' в прологе?
Есть ли способ сделать, если в прологе, например, если переменная 0, то сделать некоторые действия (пишут текст в терминал). Еще даже не необходим, но я не могу найти документацию если.
вопрос задан: 15 May 2019 15:33
2
ответа
К чему [a|b|c] оценивает в SWI-прологе?
Оператор канала в прологе возвращает одну или несколько атомарных Голов и список Хвоста.? - [a, b, c] = [a, b | [c]]. верный. Вложение несколько каналов в единственном соответствии может быть сделано подобное этому:? - [a, b, c] = [| [b | [...
вопрос задан: 27 November 2013 21:44
0
ответов
В чем разница между «и» в Прологе?
Я новичок в Прологе и заметил, что «и» ведут себя по-разному, но мне любопытно, почему. В частности, при загрузке файла? - ['test1.pl']. работает, а? - ["test1.pl"]. нет.
вопрос задан: 27 December 2015 20:18
0
ответов
Доступное для поиска описание языка Пролог в Интернете [закрыто]
Есть ли описание языка Пролог (синтаксис и семантика) в Интернете? Существует множество справочников по реализациям. Но ни то, ни другое не является описанием языка. Для...
вопрос задан: 17 October 2014 17:10
0
ответов
Почему SWI-Prolog объединяет строку в кавычках и без кавычек (без пробелов) в одно правило?
Предположим, у меня есть следующие правила: unify ('тест', 'это тест').
run: - write ('Введите что-нибудь:'), прочитайте (X), объедините (X, Y), запишите ('Ответ'), напишите (Y). А затем я запускаю ...
вопрос задан: 26 January 2014 00:40
0
ответов
Пролог к Прологу? [closed]
Если вы регулярно пишете программы на Прологе, у вас, вероятно, есть собственная библиотека предикатов, на которую вы всегда полагаетесь. Некоторые системы Prolog поставляются с богатым набором предопределенных предикатов, а некоторые нет. Некоторые ..
вопрос задан: 1 December 2012 08:27
0
ответов
Пролог — необычный синтаксис cons для списков
Я наткнулся на незнакомый фрагмент синтаксиса Пролога в статье Ли Нейша Логическое программирование высшего порядка в Пролог. Вот первый пример кода из статьи: сортировка вставками % (простая версия)
...
вопрос задан: 5 April 2012 13:36