Gregers Koch
DIKU, Institute of Datalogy, Copenhagen University, Universitetsparken 1, DK 2100 Copenhagen
Programming in Prolog (2nd ed.)
Automating the semantic component
Information Processing Letters