Veronica DahlBooksPrologComputational Logic CL 2000 00Practical Aspects of Declarative LanguagesNatural Language Understanding and Logic Programming, IIAuthor data: Open Library