Logic Programming Languages

Carsten Schürmann