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