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

Front Cover
Springer Science & Business Media, Apr 27, 1988 - Computers - 218 pages
This volume consists of some of the papers that were delivered during the workshop on "Foundations of Logic and Functional Programming" held in Trento, Italy, from December 15th to 19th, 1986. The meeting centered on themes and trends in Functional Programming and in Logic Programming. This book contains five papers contributed by the invited speakers and five selected contributions.
 

What people are saying - Write a review

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

Selected pages

Contents

An intensional theory of function and control abstractions
3
Typechecking dependent types and subtypes
45
Reducing recursion to iteration by means of pairs and Ntuples
58
Unification revisited
67
Rule rewriting methods for efficient implementations of Horn logic
114
Submitted Contributions
141
a logic programming system based on a constructive logic
143
A completeness result for Eunification algorithms based on conditional narrowing
157
Representing domain structure of manysorted Prolog knowledge bases
168
An inference engine prototype to implement intelligent systems
184
Hints for the design of a set calculus oriented to Automated Deduction
201
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information