Prolog Implementation

Horn clause prover

Common LISP 1 Written using
1
ABCL/R2 1 Written using
1
ABCL/R3 1 Evolution of
1