Implementations of Prolog / edited by J.A. Campbell. - New York, N.Y. : Halsted Press, 1984. - 391 p. : ill. ; 25 cm. - Ellis Horwood Series in Artificial Intelligence. . Includes bibliographical references and index. ISBN: 0853126755 Subjects--Topical Terms: Prolog (Computer program lanuage).