%E John A. Campbell %T Implementations of Prolog %S Ellis Horwood series on Artificial Intelligence %I Ellis Horwood Ltd. %C Chichester, England %K book %P 391 %D 1984