Title: Implementations of Prolog (Ellis Horwood Series in Artificial Intelligence)