Prolog gives error "undefined procedure" when trying to use :-

Question

I'm using SWI-Prolog on Windows and am getting the following error:

14 ?- parent(X, Y) :- child(Y, X).
ERROR: toplevel: Undefined procedure: (:-)/2 (DWIM could not correct)

I'm not entirely sure what's going on, as this worked last week and I am just starting to learn Prolog.

score 21 · Accepted Answer · answered Mar 23 '11 at 11:05

21

You need to create a file and write your program with rules there. The top level command line will only allow you to issue queries.

answered Mar 23 '11 at 11:05

4

Ah I understand now, I assumed it was similar to Python's interactive mode. Thanks! – Ross Mar 23 '11 at 11:35

score 6 · Answer 2 · answered Mar 23 '11 at 21:17

6

You can try it this way

1 ?- assert(a(A,B):-A=B).
true.

2 ?- a(B,c).
B = c.

answered Mar 23 '11 at 21:17

2 Answers2