Andreka, H and Nemeti, I "The generalised completeness of Horn predicate-logic as a programming language" University of Edinburgh. Department of artificial intelligence. Research report 21 1976

Languages mentioned

• Prolog {1971} Logic programming language