A type system for logic programs

DOI10.1016/0743-1066(91)80002-UMaRDI QIDQ5748874zbMATH OpenFDO

Authors Eyal Yardeni, Ehud Shapiro

Publication date 1991

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

Full work available at URL https://doi.org/10.1016/0743-1066(91)80002-U

zbMATH Keywords

type checkingtype system for logic programs

Mathematics Subject Classification ID

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

Recommendations

• On types and type consistency in logic programming (Diss., FernUniv. Hagen, 1999)
• scientific article; zbMATH DE number 4026804
• Efficient run-time type checking of typed logic programs
• Logic programs with polymorphic types: A condition for static type checking
• scientific article; zbMATH DE number 5198991

Cited in

(40)

• Safe typing of functional logic programs with opaque patterns and local bindings
• scientific article; zbMATH DE number 1420825 (Why is no real title available?)
• On types and type consistency in logic programming (Diss., FernUniv. Hagen, 1999)
• Improving precision of type analysis using non-discriminative union
• Typing constraint logic programs
• scientific article; zbMATH DE number 1954116 (Why is no real title available?)
• Horn clause programs with polymorphic types: Semantics and resolution
• Canonical regular types
• Towards a Type Discipline for Answer Set Programming
• scientific article; zbMATH DE number 6304248 (Why is no real title available?)
• Checking Emptiness of Non-Deterministic Regular Types with Set Operators
• scientific article; zbMATH DE number 1552531 (Why is no real title available?)
• Typing Linear Constraints for Moding CLP( ${\cal R}$ ) Programs
• A polymorphic type dependency analysis for logic programs
• The appropriateness of predicate invention as bias shift operation in ILP
• A sound and complete Hoare logic for dynamically-typed, object-oriented programs
• scientific article; zbMATH DE number 2080204 (Why is no real title available?)
• Recent Advances in Constraints
• Type inference in Prolog: A new approach
• scientific article; zbMATH DE number 1950451 (Why is no real title available?)
• A semantics for type checking
• scientific article; zbMATH DE number 5198991 (Why is no real title available?)
• scientific article; zbMATH DE number 67966 (Why is no real title available?)
• scientific article; zbMATH DE number 4026804 (Why is no real title available?)
• Efficient run-time type checking of typed logic programs
• scientific article; zbMATH DE number 4164151 (Why is no real title available?)
• scientific article; zbMATH DE number 1692902 (Why is no real title available?)
• Non-termination Analysis of Logic Programs Using Types
• Logical types for untyped languages
• A liberal type system for functional logic programs
• Logic programs with polymorphic types: A condition for static type checking
• Mints type deductive calculi for logic programming
• Data type inference for logic programming
• Automata, Languages and Programming
• scientific article; zbMATH DE number 1538022 (Why is no real title available?)
• Towards substructural property-based testing
• Typed SLD-resolution: dynamic typing for logic programming
• New results on type systems for functional logic programming
• Bottom-up abstract interpretation of logic programs
• scientific article; zbMATH DE number 516997 (Why is no real title available?)

This page was built for publication: A type system for logic programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5748874)