Results 41 to 50 of about 575,998 (339)
Logic Programming as Constructivism [PDF]
, 1989 The features of logic programming that seem unconventional from the viewpoint of classical logic can be explained in terms of constructivistic logic. We motivate and propose a constructivistic proof theory of non-Horn logic programming.
Bry, François
core +1 more source
Towards Ethical Machines Via Logic Programming [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Autonomous intelligent agents are playing increasingly important roles in our lives. They contain information about us and start to perform tasks on our behalves.
Abeer Dyoub +2 more
doaj +1 more source
Logic programming in the context of multiparadigm programming: the Oz experience
, 2002 Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (logic, functional, constraint, object-oriented, sequential, concurrent, etc ...
Brand, P +6 more
core +2 more sources
Transition Systems for Model Generators - A Unifying Approach [PDF]
, 2011 A fundamental task for propositional logic is to compute models of propositional formulas. Programs developed for this task are called satisfiability solvers.
Denecker +11 more
core +4 more sources
Extending Coinductive Logic Programming with Co-Facts [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 We introduce a generalized logic programming paradigm where programs, consisting of facts and rules with the usual syntax, can be enriched by co-facts, which syntactically resemble facts but have a special meaning.
Davide Ancona +2 more
doaj +1 more source
Informatics in Education, 2023 Learning programming logic remains an obstacle for students from different academic fields. Considered one of the essential disciplines in the field of Science and Technology, it is vital to investigate the new tools or techniques used in the teaching ...
Regina Célia Coelho +2 more
doaj +1 more source
Verification of logic programs
The Journal of Logic Programming, 1999 AbstractWe present a proof method in the style of Hoare's logic, aimed at providing a unifying framework for the verification of total correctness of logic and Prolog programs. The method, which relies on purely declarative reasoning, has been designed as a trade-off between expresiveness and ease of use.
PEDRESCHI, DINO, RUGGIERI, SALVATORE
openaire +1 more source
Extensional Semantics for Higher-Order Logic Programs with Negation [PDF]
Logical Methods in Computer Science, 2018 We develop an extensional semantics for higher-order logic programs with negation, generalizing the technique that was introduced in [Bezem99,Bezem01] for positive higher-order programs.
Panos Rondogiannis, Ioanna Symeonidou
doaj +1 more source
In Praise of Impredicativity: A Contribution to the Formalisation of Meta-Programming [PDF]
Theory and Practice of Logic Programming, pages 1-48, 25 February
2019, 2018 Processing programs as data is one of the successes of functional and logic programming. Higher-order functions, as program-processing programs are called in functional programming, and meta-programs, as they are called in logic programming, are widespread declarative programming techniques.
arxiv +1 more source
Logic frameworks for logic programs [PDF]
, 1994 We show how logical frameworks can provide a basis for logic program synthesis. With them, we may use first-order logic as a foundation to formalize and derive rules that constitute program development calculi. Derived rules may be in turn applied to synthesize logic programs using higher-order resolution during proof that programs meet their ...
openaire +4 more sources