iso-prolog

2зной

2ответ

`nth0/3` поведение при N является несвязанным

Если я печатаю в SWI Prolog в "nth0" запрос, результат: ?- nth0(N,X,a). N = 0, X = [a|_G282] ; N = 1, X = [_G281, a|_G285] ; N = 2, X = [_G281, _G284, a|_G288] ; ... etc однако руководство SW

1зной

1ответ

Как написать пары ключ-значение в Prolog?

Представьте, что у меня есть следующий предикат, в котором указано, что ID loc1 обозначает местоположение. isLocation('loc1', 'Location 1'). Я хочу предоставить переводы для второго текста (Location

0зной

1ответ

Почему был стандартом ISO для пролога?

Во введении here указано, что стандарт ISO для Prolog был сбой. Может ли кто-нибудь уточнить это?

2зной

1ответ

ANSI символов побег в gprolog

Попытка печати полужирный и подчеркнутый текст в прологе, но не может написать их write('\033[1mbold\033[0m') Делает это (ожидаемое) сообщение об ошибке: syntax error: \ expected in \constant\ seque

2зной

1ответ

Классификация ошибок ISO для множественного определения в Prolog DSL

Я создаю DSL, который использует имена для процедур (по существу), которые должны быть уникальными. Непонятно, какой термин ошибки следует использовать для представления второго определения. exist_err