Văn bản này: An Advanced logic programming language / edited by Tony Dodds.