iso-prolog

7зной

1ответ

Я новичок в Prolog, но я застрял в этой якобы простой команде. Я загрузил базу знаний без ошибок, и всякий раз, когда я пытаюсь сделать утверждают (и даже помощь) Я получаю следующее сообщение: uncaug

0зной

3ответ

Swi proog Ошибка: отображение true, но не false

Только что установленный SWI-Prolog на моей машине W8, и это вызывает ошибку. Вот ошибка: ERROR: toplevel: Undefined procedure: mark/0 (DWIM could not correct goal) Скажем, мой источник пролог файл

18зной

2ответ

Пролог: Морозы не вместе в исходном файле-

У меня есть этот кусок кода: % Family tree female(pen). male(tom). male(bob). female(liz). female(pat). female(ann). male(jim). parent(pam, bob). parent(tom, bob). parent(tom, liz). parent

4зной

4ответ

Существует ли эталонная реализация ISO-Prolog?

Java имеет reference implementation. Имеет ли ISO-Prolog ссылочную реализацию? У меня есть INCITS/ISO/IEC 13211-1:1995 (R 2007), так что не нужно предлагать это. EDIT отметить: Conformity Assessment I

2зной

2ответ

Почему это все еще вызывает исключение, несмотря на использование catch в прологе?

при использовании этого кода был поднят это исключение и не вернулся неудачи: в Sicstus полог: Синтаксическая ошибка в number_codes/2 ! число синтаксис ! в строке 0 в SWI-Пролог: ОШИБКА: number_chars/

2зной

2ответ

Правила экранирования Atom в Prolog

Мне нужно экспортировать в файл программу Prolog, выраженную с использованием произвольного представления выражений в Java. Идея заключается в том, что после этого интерпретатор Prolog должен иметь во

7зной

2ответ

Значения индикаторов режима конкретизации в качестве аргументов Пролога предикатов

Глядя на Прологе документации, предикатные подписи иногда пишутся следующим образом: foo(:Bar, +Baz, -Qux, ?Mop) Что :, +, - и ? и как интерпретировать их? Кроме того, являются ли они единственными,

2зной

3ответ

О синтаксисе Пролога

Иногда я вижу такие термины, как: X = а: Ь или X = абы я могу сделать запросы как X = Y: Z и компилятор объединяют Y с и Z с б, как и ожидалось. Теперь мой ответ: Какие символы (или последовательность