Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon.

Pages: 1-

Prolog fails

Name: Anonymous 2012-02-13 16:08

>learning prolog on uni course
>go through examples at uni lab session using swipl
>bagof(M, C^mother_of(C,M), Ms).
succeeds in lab session
>install swipl on home laptop, copy and paste previously sucessful query

"ERROR: toplevel: Undefined procedure: (^)/2
^/2 can only appear as the 2nd argument of setof/3 and bagof/3(DWIM could not correct goal)"

>google search fails, delivering 100's of results for a completely different and unrelated procedure

PROLOG Y U NO CONSISTENT!!!!!!!!!

Name: Anonymous 2012-02-13 16:33

Probably the school version is ancient and you've download the development version (5.11.x) at home. Some recent version have a bug that causes this when entered on top-level due to DWIM which has been fixed in the stable version (5.10.x).

Name: Anonymous 2012-02-14 0:12

Forget about Prolog, you should take an English class.

Don't change these.
Name: Email:
Entire Thread Thread List