Title: Foundations of logic programming
Subjects: Logic programming, Programming languages (Electronic computers), Semantics, Programmation logique, Langages de programmation, Sémantique, Logisch programmeren, Logische Programmierung, Einführung, Computer programming, Symbolic and mathematical Logic