Advances in Logic Programming and Automated Reasoning, Volume 1

Front Cover
Ralph W. Wilkerson
Intellect Books, 1992 - Computers - 270 pages
0 Reviews
This series reviews research contributions in logic programming and automated reasoning and is desinged to stimulate and sustain new, productive lines of investigation into symbolic and algebraic computing techniques as they relate to logic programming and automate reasoning. Topics covered include equational reasoning, parallel programming in logic, term rewriting systems, control of logic programs, completion procedures, unification and matching algorithms, design and implementation of deduction systems, logical methods of knowledge representation, logic-based inference techniques, and programs synthesis and verification.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Parallel Deduction of Connection Graphs
1
Equations OrderSortedness and Inheritance
49
An Automated Decision Procedure Based on the Semantic
96
An Assertional Programming System
120
Theory and Applications of the Parallel KnowledgeBased
135
A Semantic Network Logic Suitable for Parallel Implementation
163
A Primitive Recursive Programming Language for a Complete
193
Logic Program Synthesis
227
Author Index
265
Copyright

Other editions - View all

Common terms and phrases

Popular passages

Page 1 - The opinions expressed in this chapter are those of the authors and do not reflect the policies, either expressed or implied, of any granting agency.

Bibliographic information