Implementations of Prolog - Campbell, J. A.,; Campbell, J. A. (Ellis Horwood series in artificial intelligence, 1984)