Programming in PARLOG - Tom Conlon (Addison-Wesley Workingham, 1989)