Error unknown procedure parent 2 dwim could not correct goal

Возможность модифицировать базу знаний в процессе выполнения программы на Прологе позволяет описывать логику систем, изменяющихся в реальном времени. Рассмотрим основные предикаты для работы с базой знаний.

В качестве примера будем использовать простейшую программу.

:-dynamic p/2.
p(1,a).
p(2,b).
q(X,Y):-p(Y,X).
r(123).

Предикат dynamic в первой строке указывает интерпретатору на то, что определение двуместного предиката p может изменяться в процессе выполнения (с помощью предикатов assert и retract). Для многопоточных программ это так же означает, что предикат будет общим для всех потоков.

1. clause(:Head, ?Body)
   Предикат clause истинен, если в базе знаний имеется предикат, голова которого унифицируется с Head, а тело — с Body. Для фактов Body унифицируется с атомом true. Например:

   ---

   ?- clause(q(a,b),p(b,a)).
true

   ?- clause(q(a,b),p(b,b)).
   false

   ?- clause(r(_),true).
   true.

   ---

   Предикат clause может применяться для поиска возможных конъюнкций целей, из истинности которых будет следовать истинность цели, голова которой унифицируется с Head. Например:

   ---

   ?- clause(q(X1,X2),Z).
Z = p(X2, X1).

   ---

   Полученный ответ означает, что для доказательства цели q(X1,X2) нужно доказать цель p(X2,X1). Заметим, что аргумент Head предиката clause должен быть обязательно конкретизирован, то есть мы не можем по телу предиката найти его голову:

   ---

   ?- clause(X,p(b,a)).
ERROR: clause/2: Arguments are not sufficiently instantiated

   ---

   Удобно использовать предикат clause для проверки существования в базе знаний предиката, голова которого унифицируется с Head:

   ---

   ?- clause(p(_,_),_).
true ;
true.

   ?- clause(s(_,_),_).
   false.

   ---

2. retract(+Term)
   Удаляет из базы знаний первый факт или предложение, унифицируемое с Term. Предикат, предложение которого удаляется, должен быть динамическим. Пример:

   ---

   ?- p(X,Y).
X = 1,
Y = a ;
X = 2,
Y = b.

   ?- retract(p(X,Y)).
   X = 1,
   Y = a .

   ?- p(X,Y).
   X = 2,
   Y = b.

   ---

3. retractall(+Term)
   Удаляет из базы знаний все факты и предложения, унифицируемые с Term. Предикат, предложения которого удаляются, должен быть динамическим. Пример:

   ---

   ?- p(X,Y).
X = 1,
Y = a ;
X = 2,
Y = b.

   ?- retractall(p(X,Y)).
   true.

   ?- p(X,Y).
   false.

   ---

   Если Term соответствует предикату, не определенному в базе знаний, то он автоматически создается как динамический предикат (retract не обладает этим свойством):

   ---

   ?- new_predicate(X).
ERROR: toplevel: Undefined procedure: new_predicate /1 (DWIM could not correct goal)

   ?- retractall(new_predicate(X)).
   true.

   ?- new_predicate(X).
   false.

   ---

4. abolish(:PredicateIndicator)
   Удаляет все предложения предиката с заданным функтором и арностью. PredicateIndicator указывается в виде <функтор>/<арность>. В отличие от retractall позволяет удалять предложения статических предикатов:

   ---

   ?- q(a,1).
true.

   ?- retractall(q(X,Y)).
   ERROR: retractall/1: No permission to modify static_procedure `q/2'

   ?- q(a,1).
   true.

   ?- abolish(q/2).
   true.

   ?- q(a,1).
   ERROR: toplevel: Undefined procedure: q/2 (DWIM could not correct goal)

   ---

5. assert(+Term)
   asserta(+Term)
   assertz(+Term)
   Добавляют факты и предложения в базу знаний. Предикаты assert и assertz эквивалентны и добавляют факт/предложение в конец списка фактов и предложений для соответствующего им предиката, а предикат assertа добавляет в начало списка. Пример использования:

   ---

   ?- p(X,Y).
X = 1,
Y = a ;
X = 2,
Y = b.

   ?- asserta(p(0,c)).
   true.

   ?- assert(p(3,d)).
   true.

   ?- p(X,Y).
   X = 0,
   Y = c ;
   X = 1,
   Y = a ;
   X = 2,
   Y = b ;
   X = 3,
   Y = d.

   ---

Итак, мы рассмотрели все основные предикаты для управления базой знаний в логических программах на Прологе.

Вопрос:

ERROR: toplevel: Undefined procedure: mark/0 (DWIM could not correct goal)

 Prolog source...

it_is_monday.   //The fact

.../documents/prolog/prologSource compiled 0.00 sec, 2 clauses

it_is_monday.

some_other_statement.

Лучший ответ:

Там стандартный Пролог флаг, unknown, что по умолчанию устанавливается в SWI-Prolog и других современных компиляторов Пролога к error, а это означает, что попытка вызвать неизвестный предикат приведет к исключению. Этот флаг может быть установлен (с использованием стандартного предиката set_prolog_flag/2) вместо того, чтобы fail получить поведение, которое вы, похоже, ожидаете, но которое не рекомендуется, поскольку это может затруднить отладку. Например, просто опечатка в имени предиката приведет к сбою, который в сложной программе может быть трудно отследить, в то время как ошибка существования предиката будет выявлять виновника на месте.

Ответ №1

1 ?- some_other_statement.
true.

2 ?-  some_other_statement.
ERROR: toplevel: Undefined procedure: some_other_statement/0 (DWIM could not correct goal)

2 ?- some_other_statement(12).
false.

Ответ №2

:- dynamic(some_other_statement/0).

?- some_other_statement.

In the code snippet you show, the only thing that wouldn’t «work» is the X^intr(Y) in the body of the first of the two rules. The X^Y in the head should «work» if ^ is defined as an operator. Here is what I see:

$ swipl
Welcome to SWI-Prolog (threaded, 64 bits, version 8.1.15-10-g6718ecfeb)
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
Please run ?- license. for legal details.

For online help and background, visit http://www.swi-prolog.org
For built-in help, use ?- help(Topic). or ?- apropos(Word).

?- current_op(Precedence, Type, ^).
Precedence = 200,
Type = xfy.

?- display(a^b).
^(a,b)
true.

To show that you can indeed have X^Y in the head:

?- [user].
|: intr(X^Y) :- format("Got `intr(~w^~w)`~n", [X, Y]).
|: ^D% user://1 compiled 0.02 sec, 1 clauses
true.

?- intr(a^b).
Got `intr(a^b)`
true.

But I don’t understand what you want the body of that rule to do. I also couldn’t easily define a callable ^/2. Here is what I tried and what I got:

?- [user].
|: X^Y :- format("Evaluating `~w^~w` as a goal~n", [X, Y]).
|: ^D% user://2 compiled 0.02 sec, 1 clauses
true. % <---- seems to work? but not really

?- a^b.
ERROR: Unknown procedure: b/0 (DWIM could not correct goal)
?- X^B.
ERROR: Unknown procedure: '$toplevel':(^)/2
ERROR:   ^/2 can only appear as the 2nd argument of setof/3 and bagof/3
ERROR: In:
ERROR:   [10] '$toplevel':_12658^(user:_12666)
ERROR:    [9] <user>
   Exception: (10) _11996^(user:_11998) ? creep

PS: Warning: personal opinion!

I prefer to not redefine operators or built-in predicates. It looks nice and you can definitely do nifty stuff (like your own DSL that «just works» on the top level). But if you give such code to others, it becomes a difficult exercise. In my personal experience, I have found it much easier to first parse whatever I have into something that is valid Prolog, with the default operators only. What I mean in practice is something along these lines:

?- [user].
|: foo(A^B) :- hat(A, B).
|: hat(A, B) :- format("Evaluating ~w^~w~n", [A, B]).
|: ^D% user://1 compiled 0.03 sec, 2 clauses
true.

?- foo(a^b).
Evaluating a^b
true.

Nitpicking now, but in the original code you show, I don’t think you need the cuts.