The design of the web site and the Prolog Theorem Prover have been realized by Robert Stärk

assistant-1.18.tar.gz

The Ocaml implementation and some changes have been written by Michel Lévy

examples | rules | syntax | info | download | home

Last Modified : 27-Feb-2023