Title: Proving termination properties of PROLOG programs
Subjects: Artificial intelligence, Computer programs, Correctness, Programming languages (Electronic computers), Prolog (Computer program language), Semantics, Termination