Extensions of logic programming
Subtitle: 4th international workshop, ELP '93, St Andrews, U.K., March 29-April 1, 1993 : proceedings
By: Roy Dyckhoff (ed.).
Contributors: Dyckhoff, Roy, 1948-
Series: Lecture notes in computer science ;; 798.; Lecture notes in artificial intelligence; Lecture notes in computer science ;; 798.; Lecture notes in computer science.
Publisher: Springer-Verlag
Published: 1994
Place of publication: Berlin; New York
Language: eng
Number of pages: 360
Subjects: Logic programming -- Congresses
Description: "The papers in this volume are extended versions of presentations at the fourth International Workshop on Extensions of Logic Programming, held at the University of St Andrews, March/April 1993. Among the topics covered in the volume are: defintional reflection and completion, modules in lambda-Prolog, representation of logics as partial inductive definitions, non-procedural logic programming, knowledge representation, contradiction avoidance, disjunctive databases, strong negation, linear logic programming, proof theory and regular search spaces, finite sets and constraint logic programming, search-space pruning and universal algebra, and implementation on transputer networks."--PUBLISHER'S WEBSITE.
Notes: Includes bibliographical references.