Keith L. Clark, Frank G. McCabe. Micro-Prolog - programming in logic. Prentice Hall international series in computer science, Prentice Hall, 1984.
@book{0068843, title = {Micro-Prolog - programming in logic}, author = {Keith L. Clark and Frank G. McCabe}, year = {1984}, tags = {Prolog, logic programming, programming, logic}, researchr = {https://researchr.org/publication/0068843}, cites = {0}, citedby = {0}, series = {Prentice Hall international series in computer science}, publisher = {Prentice Hall}, isbn = {978-0-13-581264-8}, }