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.
Extensions of Logic Programming
and over one million other books are available for Amazon Kindle.
Learn more
FREE Two-Day Shipping for students on millions of items. Learn more |
| ||||||||||||||||||||
Book Description
Product Details
Would you like to update product info or give feedback on images?
|
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
Browse and search another edition of this book.
Browse and search another edition of this book.
First Sentence:
The Andorra Kernel Language's (AKL, see [10]) computational model addresses the matter of handling nondeterminism in a different way than Prolog, ie. a computation does not explore the solution space by exploring a derivation tree but rather by deploying a sequence of configurations (see [9] for an introduction to this subject). Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
partial inductive definitions, proof search state, definitional reflection, exc structures, general proof tree, distributed unification, atomic judgments, succedent rules, intuitionistic context, regular search space, different allocation policies, finite exclusions, kind list type, object level sequent, sequential logic programming, intended queries, succ function, clause managers, unification tree, concurrent logic programs, guard evaluation, definitional clauses, failure axiom, procedural behavior, consistent instantiations Key Phrases - Capitalized Phrases (CAPs): (learn more)
Computer Science, International Conference, Dale Miller, Lecture Notes, Concurrent Prolog, Research Report, Name State, New Generation Computing, New York, Gopalan Nadathur, Morgan Kaufmann, Cambridge University Press, Academic Press, Harold Boley, Logical Frameworks, Philippe Codognet, University of Pennsylvania, Computer Society Press, Journal of Automated Reasoning, Universidade Nova de Lisboa, Chalmers University of Technology, Edinburgh Logical Framework, Evaluation of Method, Implementations of Prolog, Michael Sintek New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Back Cover | Surprise Me!
The Andorra Kernel Language's (AKL, see [10]) computational model addresses the matter of handling nondeterminism in a different way than Prolog, ie. a computation does not explore the solution space by exploring a derivation tree but rather by deploying a sequence of configurations (see [9] for an introduction to this subject). Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
partial inductive definitions, proof search state, definitional reflection, exc structures, general proof tree, distributed unification, atomic judgments, succedent rules, intuitionistic context, regular search space, different allocation policies, finite exclusions, kind list type, object level sequent, sequential logic programming, intended queries, succ function, clause managers, unification tree, concurrent logic programs, guard evaluation, definitional clauses, failure axiom, procedural behavior, consistent instantiations Key Phrases - Capitalized Phrases (CAPs): (learn more)
Computer Science, International Conference, Dale Miller, Lecture Notes, Concurrent Prolog, Research Report, Name State, New Generation Computing, New York, Gopalan Nadathur, Morgan Kaufmann, Cambridge University Press, Academic Press, Harold Boley, Logical Frameworks, Philippe Codognet, University of Pennsylvania, Computer Society Press, Journal of Automated Reasoning, Universidade Nova de Lisboa, Chalmers University of Technology, Edinburgh Logical Framework, Evaluation of Method, Implementations of Prolog, Michael Sintek New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Back Cover | Surprise Me!
Citations (learn more)
This book cites 47
books:
See all 47 books this book cites
- Foundations of Logic Programming (Symbolic Computation : Artificial Intelligence) by John Wylie Lloyd on 5 pages
- Implementations of PROLOG (Ellis Horwood Series in Artificial Intelligence) by J. A. Campbell on page 4, page 76, and page 195
- Logical Frameworks by Gerard Huet on page 119, page 205, and page 299
- Types in Logic Programming (Logic Programming) by Frank Pfenning on page 221, page 254, and page 300
- Foundations of Deductive Databases and Logic Programming by Jack Minker on page 169, page 253, and page 254
See all 47 books this book cites
Books on Related Topics
(learn more)
|
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
So You'd Like to...
Look for Similar Items by Category
- Books > Computers & Technology > Computer Science > Artificial Intelligence
- Books > Computers & Technology > Programming > Languages & Tools
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Object-Oriented Design
- Books > New & Used Textbooks > Computer Science > Artificial Intelligence
- Books > New & Used Textbooks > Computer Science > Object-Oriented Software Design
- Books > New & Used Textbooks > Computer Science > Programming Languages
- Books > Science & Math > Mathematics
