2016-03-11 | library(reif) for SICStus and SWI. Uses. |
2016-02-27 | library(pio) for SICStus and SWI. |
2009-06-23 | library(lambda) Lambdas in ISO Prolog |
2009-11-19 | subsumes_term.pl. An attempt to define subsumption in the presence of constraints. |
2009-11-12 | library(diadem) — diagnostic déclaratif et monotone |
2009-03-11 | library(double_quotes) for SWI and SICStus |
1998-04-30 | Roman Numerals (PostScript source) |
1993-11-26 | Moments of Prolog, Exhibit 0, Paul Tarau |
1989-11 | Moments of Prolog, Exhibit 1 |
2009-02-25 | Moments of Prolog, Exhibit 2, Samer Abdallah |
Sur la norme ISO |