Integrating logic rules with everything else, seamlessly

DOI10.1017/S1471068423000108MaRDI QIDQ7027202zbMATH OpenFDO

Authors Yanhong A. Liu, Scott D. Stoller, Yi Tong, Bo Lin

Publication date 14 February 2025

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S1471068423000108

zbMATH Keywords

aggregationcomprehensionlanguage design and implementationlogic rulesquantification

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Cites work

• \textit{clingcon}: the next generation
• CLAIRE: combining sets, search and rules to better express algorithms
• Declarative Logic Programming: Theory, Systems, and Applications
• Fifty Years of Prolog and Beyond
• Fixpoint semantics for logic programming a survey
• Founded semantics and constraint semantics of logic rules
• Functional Logic Programming: From Theory to Curry
• scientific article; zbMATH DE number 1696855 (Why is no real title available?)
• scientific article; zbMATH DE number 788036 (Why is no real title available?)
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• Integrating logic rules with everything else, seamlessly
• Knowledge of uncertain worlds: programming with logical constraints
• Multi-shot ASP solving with clingo
• Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3
• Programming with higher-order logic.
• Recursive rules with aggregation: a simple unified semantics
• The execution algorithm of mercury, an efficient purely declarative logic programming language
• The<scp>dlvhex</scp>system for knowledge representation: recent advances (system description)

Cited in

(1)

• Integrating logic rules with everything else, seamlessly

This page was built for publication: Integrating logic rules with everything else, seamlessly

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