Prolog und Prädikatenlogik II
Prolog und Prädikatenlogik II. Prolog Grundkurs WS 99/00 Christof Rumpf rumpf@uni-duesseldorf.de. translate/1. translate(X):- implout(X,X1),nl, negin(X1,X2), skolem(X2,X3,[]), univout(X3,X4), cnf(X4,X5), clausify(X5,Clauses,[]), prologify2(Clauses,Clauses2),
348 views • 24 slides