Text this: An Advanced logic programming language / edited by Tony Dodds.