Implementations of Prolog / [editor] J.A. Campbell. - Chichester, West Sussex : New York : E. Horwood ; Halsted Press, c1984. - 391 pages : illustrations ; 25 cm. - Ellis Horwood series in artificial intelligence . Includes bibliographies and index. ISBN: 0470200448 (Halsted : lib. bdg.) 0470200456 (Halsted : student ed.) LCCN: 83026578 Subjects--Topical Terms: Prolog (Computer program language) LC Class. No.: QA76.73.P76 / I56 1984 Dewey Class. No.: 001.64/24