Text this: Logic programming : new frontiers / edited by D.R. Brough.