Extensions of Logic Programming
Download or Read eBook Extensions of Logic Programming PDF written by Roy Dyckhoff and published by Springer Science & Business Media. This book was released on 1994-05-20 with total page 376 pages. Available in PDF, EPUB and Kindle.
| Author | : Roy Dyckhoff |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 376 |
| Release | : 1994-05-20 |
| ISBN-10 | : 3540580255 |
| ISBN-13 | : 9783540580256 |
| Rating | : 4/5 (55 Downloads) |
Book Synopsis Extensions of Logic Programming by : Roy Dyckhoff
Book excerpt: 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.
