A polymorphic type system for PROLOG.
Artificial Intelligence
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Horn clause programs with polymorphic types: semantics and resolution
TAPSOFT '89 2nd international joint conference on Theory and practice of software development
Types in logic programming
Polymorphism and type inference in database programming
ACM Transactions on Database Systems (TODS)
Extending and implementing the stable model semantics
Artificial Intelligence
Constraint-based mode analysis of mercury
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
A Characterization of Abstract Data as Model-Theoretic Invariants
Proceedings of the 6th Colloquium, on Automata, Languages and Programming
Science of Computer Programming - Special issue: Static analysis symposium (SAS 2003)
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
External sources of knowledge and value invention in logic programming
Annals of Mathematics and Artificial Intelligence
Journal of Logic and Computation
Towards an integration of answer set and constraint solving
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Optimizing the runtime processing of types in polymorphic logic programming languages
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Applying ASP to UML Model Validation
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Hi-index | 0.00 |
We argue that it is high time that types had a beneficial impact in the field of Answer Set Programming and in particular Disjunctive Datalog as exemplified by the DLV system. Things become immediately more challenging, as we wish to present a type system for DLV-Complex , an extension of DLV with uninterpreted function symbols, external implemented predicates and types. Our type system owes to the seminal polymorphic type system for Prolog introduced by Mycroft and O'Keefe, in the formulation by Lakshman and Reddy. The most innovative part of the paper is developing a declarative grounding procedure which is at the same time appropriate for the operational semantics of ASP and able to handle the new features provided by DLV-Complex. We discuss the soundness of the procedure and evaluate informally its success in reducing, as expected, the set of ground terms. This yields an automatic reduction in size and numbers of (non isomorphic) models. Similar results could have only been achieved in the current untyped version by careful use of generator predicates in lieu of types.