TY - BOOK AU - Clark,Keith L. AU - McCabe TI - Micro-PROLOG: programming in logic T2 - Series in computer science SN - 013581264X U1 - 004.1 21 PY - 1984///]. CY - New York: PB - Prentice Hall, KW - micro-PROLOG (Computer program language) N1 - Includes index ER -