| 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 |