Results 41 to 50 of about 6,452,641 (347)
Automated Termination Analysis for Logic Programs with Cut [PDF]
Theory and Practice of Logic Programming, 10(4-6), 365-381, 2010, 2010 Termination is an important and well-studied property for logic programs. However, almost all approaches for automated termination analysis focus on definite logic programs, whereas real-world Prolog programs typically use the cut operator. We introduce a novel pre-processing method which automatically transforms Prolog programs into logic programs ...
arxiv +1 more source
The Journal of Logic Programming, 1994 AbstractCFT is a new constraint system providing records as logical data structure for constraint (logic) programming. It can be seen as a generalization of the rational tree system employed in Prolog II, where finer-grained constraints are used and where subtrees are identified by keywords rather than by position.
Smolka, Gert, Treinen, Ralf
openaire +2 more sources
Structural Resolution for Abstract Compilation of Object-Oriented Languages [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 We propose abstract compilation for precise static type analysis of object-oriented languages based on coinductive logic programming. Source code is translated to a logic program, then type-checking and inference problems amount to queries to be solved ...
Luca Franceschini +2 more
doaj +1 more source
Defeasible logic programming: DeLP-servers, contextual queries, and explanations for answers
Argument Comput., 2014 Argumentation represents a way of reasoning over a knowledge base containing possibly incomplete and/or inconsistent information, to obtain useful conclusions.
A. García, Guillermo R. Simari
semanticscholar +1 more source
Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics [PDF]
Theory and Practice of Logic Programming, 2011 Distribution semantics is one of the most prominent approaches for the combination of logic programming and probability theory. Many languages follow this semantics, such as Independent Choice Logic, PRISM, pD, Logic Programs with Annotated Disjunctions (
Fabrizio Riguzzi, T. Swift
semanticscholar +1 more source
Logic programs as specifications in the inductive verification of logic programs
Electronic Notes in Theoretical Computer Science, 2001 AbstractIn this paper we define a new verification method based on an assertion language able to express properties defined by the user through a logic program. We first apply the verification framework defined in [3] to derive sufficient inductive conditions to prove partial correctness.
Comini M, GORI, ROBERTA, Levi G.
openaire +4 more sources
The Journal of Logic Programming, 1994 AbstractThis paper presents an overview and a survey of logic program synthesis. Logic program synthesis is interpreted here in a broad way; it is concerned with the following question: given a specification, how do we get a logic program satisfying the specification?
Deville, Yves, Lau, KK.
openaire +3 more sources
A History of Probabilistic Inductive Logic Programming
Frontiers in Robotics and AI, 2014 The field of Probabilistic Logic Programming (PLP) has seen significant advances in the last 20 years, with many proposals for languages that combine probability with logic programming.
Fabrizio eRiguzzi +2 more
doaj +1 more source
The Semantics of Predicate Logic as a Programming Language
JACM, 1976 Sentences in first-order predicate logic can be usefully interpreted as programs. In this paper the operational and fixpoint semantics of predicate logic programs are defined, and the connections with the proof theory and model theory of logic are ...
M. H. Emden, R. Kowalski
semanticscholar +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