The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Thus, surprisingly, semantic unification can be used for giving termination proofs for logic programs. Parts of the technique can be automated very eas- ily. ... Summary: “In this paper, which is a brief version of a forthcoming paper, we discuss how one can extend logic programming to any set of clauses.” ...
For the web version of Mathematical Reviews, see http: //www.ams. org/mathscinet ... Semantics of general logic programs. (English summary) J. Logic Programming 35 (1998), no. 2, 171-194. Summary: “We suggested in Part I [A. Bochman, J. ...
Nine manuscripts were submitted, of which four were selected for inclusion in the issue. ... Out of the total of 29 papers that were presented at LSFA 2017 and 2018, 15 were invited to submit an extended version to this special issue. ... We thank all the anonymous referees for their thorough and careful reviews and all the members of MSCS involved in processing this issue. ...doi:10.1017/s096012952100044x fatcat:yfcs2dzfubexvni637ihwlynlm
In language-oriented programming and modeling, software developers are largely concerned with the definition of domainspecific languages (DSLs) and their composition. ... To clarify the issue, we specify five forms of language composition: language extension, language restriction, language unification, self-extension, and extension composition. ... Our separation of languages into four components is general and covers any programming language. ...doi:10.1145/2427048.2427055 dblp:conf/ldta/ErdwegGR12 fatcat:5dnmg4mb3vfxxbczce6hqtyb64
The author shows a new iterated fixpoint characterization of the well-founded semantics and Answer Set Programming by using dual programs. ... This special issue includes a selection of papers that are extended and revised versions of the ones presented at the 25th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR ... The authors distinguish four different kinds of resolution: resolution by unification (SLD-resolution), resolution by term-matching, the recently introduced structural resolution, and partial (or lazy) ...doi:10.1007/s00165-017-0427-1 fatcat:ej4i24vlenal5nqud65wus76ma
Lecture Notes in Computer Science
We consider a transformation schema to be correct if its application yields a target program which is equivalent to the source program under the pure Prolog semantics. ... operations on schemata, and a higher-order unification algorithm which forms the basis of the schema transformation operations. ... We have implemented the higher-order unification algorithm, and a simplified version of some of the transformations. ...doi:10.1007/3-540-49674-2_14 fatcat:afq7466bsrdebiz6j3sqnbnfvm
Lecture Notes in Computer Science
The paper gives four semantic models for Guarded Horn Clauses (GHQ. ... Terms and atoms are defined as usual, except for that the set of atoms is extended with so-called unification atoms. An unification atom is of the form t 1 = t 2, where t1 and t2 are terms. ... Acknowledgement: We are grateful to the members of the Amsterdam Concurrency Group; while discussing a preliminary version of this paper, they detected a serious error. ...doi:10.1007/3-540-51486-4_64 fatcat:5svcy3vy4vfunfzxflavosdo3m
Franchi-Zannettacci, Unification-free execution of TYPOL programs by semantic attributive evaluation (pp. 160-177); David B. Kemp and Rodney W. ... Miller], Uses of higher-order unification for im- plementing program transformers (pp. 942-959); Aida Batarekh and V. S. ...
for semantics, & (5) computers as real- izations of computer programs are syntactic rather than semantic ma- chines. ... A simplified Prolog version of this parser is included. 1 Appendix, 13 References. Adapted from the source document. ...
for the benchmarks examined if the semantics of Prolog were preserved. ... The results show that restricted ANo-parallelism is of limited benefit for small programs, but produced speedups from 7 to 10 on two large programs. on-parallelism was generally not found to be useful ... In an attempt to measure the degree of performance inhibition caused by the semantics of sequential Prolog, four single-solution benchmarks were recompiled with a relaxed version of solution ordering. ...doi:10.1109/12.61072 fatcat:rdeiqbw3pvcqhnkks2bzhm4fau
Neculai Curteanu (R-IASI-SM; Iasi) For the web version of Mathematical Reviews, see http: //www.ams.org/mathscinet ... We present proof calculi and a model theory for this logic, and we prove the existence of free term models which provide an ade- quate intended semantics for programs. ...
Lecture Notes in Computer Science
The proof search is based on a prefixed connection calculus and an additional prefix unification, which captures the Kripke semantics of different modal logics. ... The most recent version also supports heterogeneous multimodal logics and outputs a compact prefixed connection proof. An experimental evaluation shows the strong performance of MleanCoP. ... version 1.1 of the QMLTP library  . ...doi:10.1007/978-3-319-08587-6_20 fatcat:725b2a3rnne5jc6qxsedfoocga
Logic Program Synthesis and Transformation
Great care is taken to preserve the operational semantics of the partially evaluated programs, including the effects of non-logical predicates and side effects. ... Nevertheless, we implement unification in the partial evaluator by unification in the underlying Prolog system. This significantly improves upon  which use explicitly coded meta-unification. ... The predicate accepts occurs in four different specialized versions, accepts_0 . . . accepts_3. ...doi:10.1007/978-1-4471-3560-9_15 dblp:conf/lopstr/MogensenB92 fatcat:vr3slzmydjakhgvlk7cnbudc4q
We present a formal study of semantics for the relational programming language miniKanren. ... First, we formulate a denotational semantics which corresponds to the minimal Herbrand model for definite logic programs. ... The first two rules specify the semantics of unification. ...arXiv:2005.01018v2 fatcat:4y4bhiy3l5ce7klur3iuvdjove
In this paper we examine source code annotations from the viewpoint of formal languages -we discuss their abstract syntax, concrete syntax, and semantics, thus showing the correspondence between annotations ... We then show how pure embedding with annotations can be used for language unification, language referencing by extension, and language extension. ... This work was supported by project KEGA No. 019TUKE-4/2014 Integration of the Basic Theories of Software Engineering into Courses for Informatics Master Study Programmes at Technical Universities -Proposal ...doi:10.2298/csis160114024n fatcat:7c3ymavbtre5vpu3xzglcl2aty
« Previous Showing results 1 — 15 out of 10,495 results