TL;DR
This paper introduces SKY, a logic programming language designed to specify algorithmic strategies for problem evaluation, focusing on its semantics and conceptual framework.
Contribution
It presents the semantics and foundational ideas of SKY, a new logic programming language for defining evaluation strategies.
Findings
SKY provides a formal framework for specifying algorithms.
The language supports flexible evaluation strategies.
The paper establishes the theoretical basis of SKY.
Abstract
This paper describes the semantics and ideas about SKY, a logic programming language intended in order to specify algorithmic strategies for the evaluation of problems.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Semantic Web and Ontologies · Constraint Satisfaction and Optimization