Foundations of Logic and Functional Programming: Workshop, Trento, Italy, December 15-19, 1986. Proceedings

Foundations of Logic and Functional Programming: Workshop, Trento, Italy, December 15-19, 1986. Proceedings

Paperback(1988)

$99.00
Choose Expedited Shipping at checkout for guaranteed delivery by Thursday, April 25

Product Details

ISBN-13: 9783540191292
Publisher: Springer Berlin Heidelberg
Publication date: 06/01/1988
Series: Lecture Notes in Computer Science , #306
Edition description: 1988
Pages: 224
Product dimensions: 6.10(w) x 9.25(h) x 0.02(d)

Table of Contents

Rum an intensional theory of function and control abstractions.- Typechecking dependent types and subtypes.- Reducing recursion to iteration by means of pairs and N-tuples.- Unification revisited.- Rule rewriting methods for efficient implementations of horn logic.- PAP: a logic programming system based on a constructive logic.- A completeness result for E-unification algorithms based on conditional narrowing.- Representing domain structure of many-sorted Prolog knowledge bases.- Horn: An inference engine prototype to implement intelligent systems.- Hints for the design of a set calculus oriented to Automated Deduction.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews