http_test.pl, plht.pl | JSP-ähnliche Skriptsprache für Webanwendungen mit Prolog (braucht SWI-Prolog 5.1.x) |
normalform.pl | Parsen von Prolog-Ausdrücken in eine gut zu verarbeitende Form (X --> '<var>'('X'), a:-b,c --> a-[b,c]) |
analyse.pl | Finden von Techniques und Schemata |
infer_types.pl | Typinferenz |
--
YannickVersley - 29 May 2003