এই পাঠটি: An Advanced logic programming language / edited by Tony Dodds.