Foundations of Logic and Functional Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

10

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540191292, 9783540391265

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

PAP: a logic programming system based on a constructive logic

Foundations of Logic and Functional Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-19129-1_6 ◽

1988 ◽

pp. 141-156 ◽

Author(s):

P. Miglioli ◽

U. Moscato ◽

M. Ornaghi

Keyword(s):

Logic Programming ◽

Programming System ◽

Constructive Logic

Download Full-text

Rule rewriting methods for efficient implementations of horn logic

Foundations of Logic and Functional Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-19129-1_5 ◽

1988 ◽

pp. 114-139 ◽

Author(s):

Carlo Zaniolo ◽

Domenico Saccà

Keyword(s):

Download Full-text

Reducing recursion to iteration by means of pairs and N-tuples

Foundations of Logic and Functional Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-19129-1_3 ◽

1988 ◽

pp. 58-66 ◽

Author(s):

Corrado Böhm

Download Full-text

A completeness result for E-unification algorithms based on conditional narrowing

Foundations of Logic and Functional Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-19129-1_7 ◽

1988 ◽

pp. 157-167 ◽

Author(s):

E. Giovannetti ◽

C. Moiso

Keyword(s):

Completeness Result ◽

Unification Algorithms ◽

Conditional Narrowing

Download Full-text

Representing domain structure of many-sorted Prolog knowledge bases

Foundations of Logic and Functional Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-19129-1_8 ◽

1988 ◽

pp. 168-183 ◽

Author(s):

Nicola Guarino

Keyword(s):

Domain Structure ◽

Knowledge Bases

Download Full-text

Rum an intensional theory of function and control abstractions

Foundations of Logic and Functional Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-19129-1_1 ◽

1988 ◽

pp. 1-44 ◽

Author(s):

Carolyn Talcott

Keyword(s):

Download Full-text

Horn: An inference engine prototype to implement intelligent systems

Foundations of Logic and Functional Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-19129-1_9 ◽

1988 ◽

pp. 184-200

Author(s):

Antonio D'Angelo

Keyword(s):

Intelligent Systems ◽

Inference Engine

Download Full-text

Typechecking dependent types and subtypes

Foundations of Logic and Functional Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-19129-1_2 ◽

1988 ◽

pp. 45-57 ◽

Author(s):

Luca Cardelli

Keyword(s):

Dependent Types

Download Full-text

Hints for the design of a set calculus oriented to Automated Deduction

Foundations of Logic and Functional Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-19129-1_10 ◽

1988 ◽

pp. 201-218 ◽

Author(s):

E. G. Omodeo

Keyword(s):

Automated Deduction

Download Full-text

Unification revisited

Foundations of Logic and Functional Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-19129-1_4 ◽

1988 ◽

pp. 67-113 ◽

Author(s):

J -L. Lassez ◽

M. J. Maher ◽

K. Marriott

Download Full-text