… We survey here various approaches which were proposed to incorporate negation in logic programs. We concentrate on the proof-theoretic and model-theoretic issues and the relationships between them. …
jlp, 19/20:9-71, 1994. [doi]… of a logic program. Although such formulations are appealing due …, either existing logic programming systems do not guarantee completeness, or those … advances in implementation technologies of logic programming systems.We find …
PLDI 1996: 117-126… Several program analysis problems can be cast elegantly as a logic program … of logic programs can be refined and used for deriving practical implementations … based on logic programming for implementing program analyses that combines …
ppdp 2005: 117-128 [doi]… In this paper, we present a fast binding-time analysis (BTA) by integrating a size-change analysis, which is independent of a selection rule, into a classical BTA for offline partial evaluation of logic programs. In contrast to previous …
LOPSTR 2009: 119-134 [doi]… completeness of axiom systems for (1) context-free dynamic logic and (2) its extension … of these logics in mind, these results can be seen to supply (as corollaries) complete proof … The problem of reasoning about recursive programs is considered. Utilizing …
POPL 1979: 81-92 [doi]… reliable software systems. We present a (constraint) logic programming-based … of domain specific languages (DSLs). Our framework is based on using Horn logic …-automatic verification of programs written in the DSL as well as for automatically …
2002. [doi]… illustrate this with SOUL (the Smalltalk Open Unification Language), a logic …. We show how SOUL does logic reasoning directly on Smalltalk objects, and how …Meta-programming is the act of using one system or language to reason about …
In ECOOP 2001 International Workshop on MultiParadigm Programming with Object-Oriented Languages. 2001: