Prolog by P. Deransart & L. Cervoni