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