E-Books durchsuchen

Foundations of Logic and Functional Programming [1988]

1
<Emphasis Type="Italic">Rum</Emphasis> an intensional theory of function and control abstractions
45
Typechecking dependent types and subtypes
58
Reducing recursion to iteration by means of pairs and N-tuples
67
Unification revisited
114
Rule rewriting methods for efficient implementations of horn logic
141
PAP: a logic programming system based on a constructive logic
157
A completeness result for E-unification algorithms based on conditional narrowing
168
Representing domain structure of many-sorted Prolog knowledge bases
184
Horn: An inference engine prototype to implement intelligent systems
201
Hints for the design of a set calculus oriented to Automated Deduction
Feedback