Logic Programming with Prolog - Bramer, Max.; SpringerLink (Online service) (London : Max Bramer, 2005)
Keywords: Logic programming; Prolog (Computer program language); Computer Science; Programming Techniques; Programming Languages, Compilers, Interpreters