Algebraic and Logic Programming
Subtitle: International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings (Lecture Notes in Computer Science)
Contributors: Jan Grabowski (Editor); Pierre Lescanne (Editor); Wolfgang Wechler (Editor)
Edition: 1 edition
Publisher: Springer
Published: July 24, 1989
Language: eng
Format: Paperback
Number of pages: 278
ISBN-13: 9783540506676
Subjects: Operating systems & graphical user interfaces (GUIs); Logic Design; Computers - General Information; Logic; Logic programming; Programming - General; Computers / Logic Design; Algebraic logic; Congresses
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.