Implantation de SBDS en GNU-Prolog.
P#: a concurrent Prolog for the .NET framework
Prolog: a prelude to a new generation of CAAD
Fuzzy Prolog: a new approach using soft constraints propagation
Design and simulation of a sequential Prolog machine