Knowledge systems and prolog - Walker A Ed. (1987)
Keywords: Computer science