Micro prolog: programming in logic by Mccabe, Clark fromPrentice-Hall International Series in Computer Science 0 Type: Book
