A polymorphic type system for Prolog
From MaRDI portal
Publication:796313
DOI10.1016/0004-3702(84)90017-1zbMath0543.68076OpenAlexW2038037493WikidataQ56059065 ScholiaQ56059065MaRDI QIDQ796313
Richard A. O'Keefe, Alan Mycroft
Publication date: 1984
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(84)90017-1
Related Items
Logic programs with polymorphic types: A condition for static type checking, Evolution of rule-based programs, Logic programming with external procedures: Introducing S-unification, Logic programs with equational type specifications, Indexed types, VeriFly: On-the-fly Assertion Checking via Incrementality, Fifty Years of Prolog and Beyond, Data type inference for logic programming, Typed SLD-resolution: dynamic typing for logic programming, A new framework for declarative programming, Unnamed Item, Unnamed Item, Horn clause programs with polymorphic types: Semantics and resolution, Coding guidelines for Prolog, A typed functional extension of logic programming, Reusing and modifying rulebases by predicate substitution, Legality concepts for three-valued logic programs, Checking Emptiness of Non-Deterministic Regular Types with Set Operators, Improving precision of type analysis using non-discriminative union, HM(X) type inference is CLP(X) solving, Automatic Generation of Test Inputs for Mercury, From Monomorphic to Polymorphic Well-Typings and Beyond, Specification and correctness proof of a WAM extension with abstract type constraints, Towards a Type Discipline for Answer Set Programming, Refinement of a typed WAM extension by polymorphic order-sorted types, Extending Constructive Logic Negation with Types, Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation, Towards a Normal Form for Mercury Programs, Towards Typed Prolog, A polymorphic type system for Prolog
Uses Software
Cites Work
