Logic programming: expanding the horizons
Tony J. Dodd, Richard Owens, Steve Torrance · Ablex Publishing Corp. eBooks · 1991
Introduction - logic programming in the UK a logic language PR - a language for practical reasoning a temporal logic programming machine virtual logic neurons logic programming in an engineering consultancy implementing logic languages by graph rewriting Kelpie - a concurrent logic programming system for knowledge-based applications evaluating different strategies for handling incomplete information in a logic database.