'This manual corresponds to Prolog version 3.43'.
Supersedes occasional papers 15 & 19.
Bibliography: p98-99. _ Includes index.
DECsystem-10 Prolog user's manual by D. L. Bowen. Published by University of Edinburgh, Department of Artificial Intelligence in 1981. Publication and catalogue information, links to buy online and reader comments.