Micro-PROLOG programming in logic
Clark, Keith L.
McCabe, Frank G.
London Prentice-Hall
1983
Prolog (Computer program language)
Microprocessors.