www-ai.cs.tu-dortmund.de/PublicPublicationFiles/lindner_94b.pdf
ls8_report_12.dvi
vorgegeben:
m1(P1,P2,P3,P4,C) :P1(E,X1) & P2(E,Y1) & P3(E,X1) & P4(E,Y2) &
ne(Y1,Y2) --> C(E).
m2(P1,P2,P3,P4,C) :P1(E,X1) & P2(E,Y1) & P3(E,X1) & P4(E,Y1)
--> C(E).
m3(P1,P2,P3,P4,P5,C):P1(E,X1) & P2(E,Y1) & [...] krk2_m1(P1,P2,C): P1(I,X1,Y1) & P2(I,X1,Y2) --> C(I).
16 7 LERNL
AUFE MIT RDT/DB
krk2_m2(P1,P2,C): P1(I,X1,Y1) & P2(I,X2,Y1) --> C(I).
krk2_m3(P1,P2,C): P1(I,X1,Y1) & P2(I,X1,Y1) --> C(I).
krk2_m4(P1,P2,P3 [...] P3,C): P1(I,X1,Y1) & P2(I,X2,Y2) & P3(X1,X2) &
P3(Y1,Y2) --> C(I).
krk2_m5(P1,P2,P3,C): P1(I,X1,Y1) & P2(I,X2,Y1) & P3(I,X3,Y1) &
lt(X2,X1) & lt(X3,X1) & ne(X2,X3) --> C(I).
krk2_m6(P1,P2,P3,C): P1(I,X1 …