Implementations of Prolog - Campbell, John (Artificial Intelligence, 1984)