Algebraic and Logic Programming
Subtitle: International Workshop (Lecture Notes in Computer Science)
Contributors: W. Wechler (Editor)
Publisher: Springer
Published: August 1989
Language: eng
Number of pages: 278
ISBN-13: 9780387506678
First sentence: In order to enrich Logic Programming with functions, a natural approach is to consider the union of a set of Horn clauses H with a set E of equations as a program.