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 I | Attachment | Action | Size | Date | Who | Comment |
---|---|---|---|---|---|---|
pl | analyse.pl | manage | 1.9 K | 29 May 2003 - 15:53 | UnknownUser | |
pl | http_test.pl | manage | 2.6 K | 29 May 2003 - 15:56 | UnknownUser | |
pl | infer_types.pl | manage | 2.8 K | 29 May 2003 - 15:54 | UnknownUser | |
pl | normalform.pl | manage | 2.7 K | 29 May 2003 - 15:55 | UnknownUser | |
pl | plht.pl | manage | 4.7 K | 29 May 2003 - 16:00 | UnknownUser | |
pl | rev.pl | manage | 1.1 K | 29 May 2003 - 16:00 | UnknownUser |