The implementation of Prolog.
Boizumault, Patrice,1959-