A first-order theory of types and polymorphism in logic programming

@article{Kifer1991AFT,
  title={A first-order theory of types and polymorphism in logic programming},
  author={M. Kifer and J. Wu},
  journal={[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science},
  year={1991},
  pages={310-321}
}
  • M. Kifer, J. Wu
  • Published 1991
  • Computer Science
  • [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science
A logic called typed predicate calculus (TPC) that gives declarative meaning to logic programs with type declarations and type inference is introduced. The proper interaction between parametric and inclusion varieties of polymorphism is achieved through a construct called type dependency, which is analogous to implication types but yields more natural and succinct specifications. Unlike other proposals where typing has extra-logical status, in TPC the notion of type-correctness has precise… Expand
24 Citations
Polymorphic Typesin Higher-Order Logic
  • Highly Influenced
Type Dependencies for Logic Programs Using ACI-Unification
  • 56
  • PDF
The Completion of Typed Logic Programs and SLDNF-Resolution
  • 5
A Declarative Semantics for Typed Logic Programs
  • Highly Influenced
Typed Prolog: A Semantic Reconstruction of the Mycroft-O'Keefe Type System
  • 90
  • PDF
Using Types as Approximations for Type Checking Prolog Programs
  • C. Beierle, G. Meyer
  • Computer Science
  • Fuji International Symposium on Functional and Logic Programming
  • 1999
  • 3
  • PDF
A Pragmatic Type Concept for Prolog Supporting Polymorphism, Subtyping, and Meta-Programming
  • 7
Typed Datalog
  • 17
Generalizing Def and Pos to Type Analysis
  • 6
...
1
2
3
...

References

SHOWING 1-10 OF 45 REFERENCES
A Type System for Logic Programs
  • 151
Type declarations as subtype constraints in logic programming
  • 5
A Theory of Type Polymorphism in Programming
  • R. Milner
  • Computer Science
  • J. Comput. Syst. Sci.
  • 1978
  • 2,493
  • PDF
Declaration-free type checking
  • 93
A Polymorphic Type System for Prolog
  • 340
  • PDF
Type inference by program transformation and partial evaluation
  • T.W. Fruwirth
  • Computer Science
  • Proceedings. 1988 International Conference on Computer Languages
  • 1988
  • 8
A Polymorphic Type System with Subtypes for Prolog
  • 46
  • PDF
Unfounded sets and well-founded semantics for general logic programs
  • 475
Type Inference in Prolog
  • 9
The well-founded semantics for general logic programs
  • 1,858
  • PDF
...
1
2
3
4
5
...