Hi, ich bin gerade dabei, mich in prolog einzuarbeiten. Ich verwenden SWI prolog unter win7 prof 64bit. (Der fehler tritt bei der 32bit und der 64bit version auf)

Solang ich einfach auf der Konsole etwas eintippe, läuft alles ganz normal, sobald ich aber eine Datei über consult() oder ['datei']. lade, bekomme ich bei jedem befehl einen fehler.

Assert bringt sofort ein false, obwohll der befehl vorher noch funktioniert hat.

Zudem kann ich die zugewiesenen regeln nicht benutzen. Es kommt immer der fehler

1 ?- consult(familie).
% familie compiled 0.00 sec, -140 bytes
true.

2 ?- elternteil(X,Y).
ERROR: toplevel: Undefined procedure: elternteil/2 (DWIM could not correct goal)

Und die .pl datei:

Code :

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17

assert(elternteil(heike,robert)). assert(elternteil(thomas,robert)). assert(elternteil(thomas,lisa)). assert(elternteil(robert,anna)). assert(elternteil(robert,petra)). assert(elternteil(petra,jakob)).   assert(weiblich(heike)). assert(weiblich(anna)). assert(weiblich(lisa)). assert(weiblich(petra)).   assert(m(thomas)). assert(m(robert)). assert(m(jakob)).   tante(X,Y):-elternteil(Z,Y),elternteil(G,Z),elternteil(G,X),not(X==Z),weiblich(X).

danke schonmal.

Hi.

Du mußt die Prozeduren als dynamisch markieren:

Code :

1	dynamic elternteil/2, weiblich/1, m/1.

Gruß