A type system for logic programs

DOI10.1016/0743-1066(91)80002-UzbMath0717.68016MaRDI QIDQ5748874

Eyal Yardeni, Ehud Shapiro

Publication date: 1991

Published in: The Journal of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

type checkingtype system for logic programs

Mathematics Subject Classification ID

Artificial intelligence (68T99) Logic programming (68N17)

Related Items

The appropriateness of predicate invention as bias shift operation in ILP, Towards substructural property-based testing, Horn clause programs with polymorphic types: Semantics and resolution, Non-termination Analysis of Logic Programs Using Types, Checking Emptiness of Non-Deterministic Regular Types with Set Operators, A polymorphic type dependency analysis for logic programs, Improving precision of type analysis using non-discriminative union, Type inference in Prolog: A new approach, Bottom-up abstract interpretation of logic programs