A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Colmerauer has proposed a theoretical model for Prolog II based on tree rewriting rather than logic. In this paper, we show that Prolog II can be regarded as a logic programming language. a ... We are indebted to Imperial College of the University of London for its hospitality which made this work possible. ... Now that we have given a brief overview of Prolog II, we are in a position to explain in what sense it is possible to give a logical reconstruction of Prolog II. ...doi:10.1016/0743-1066(84)90001-3 fatcat:jx5cwogbpjcqhlm5k3bayat3ua
Horn Formulae, 267 Logical Levels of Problem Solving, 151 Logical Reconstruction of PROLOG II. 143 Making PROLOG More Expressive, 225 Negation as Failure: A Comparison of Clark's Completed ... Generation and Grammar Manipulation Using PROLOG's Infinite Trees. 253 Sequential Nature of Unification, On the, 35 Synthesis of a Unification Algorithm in a Logic Programming Calculus, 3 ...doi:10.1016/0743-1066(84)90032-3 fatcat:6pjr5ofh4ndwleworj3jop3u3m
Typed prolog: A semantic reconstruction of the MyCroft-O'Keefe type system. VII. Non-classical logics, I. 14. A clausal logic for deontic action specification (extended abstract). 15. ... A modal reconstruction of blocks and modules in logic. VIII. Warren abstract machine. I. The journey to the East: Can software engineers build user interfaces? 1. The hostile beast. II. ...doi:10.1016/0898-1221(92)90096-z fatcat:4pjyhq2h5zcxzcjs7pzcgpop54
IFIP Advances in Information and Communication Technology
This chapter presents a model and an accompanying software tool that systematically addresses the reconstruction of attack scenarios in a manner that could stand up in court. ... The Prolog-based system employs known vulnerability databases and an anti-forensic database that will eventually be extended to a standardized database like the NIST National Vulnerability Database. ... The federal rules were codified in the Prolog logic-based framework  to determine the admissibility of evidence. ...doi:10.1007/978-3-319-24123-4_8 fatcat:tpj6473orjfb3ljpbekw4qnbre
Stabler, Jr. reconstructs in logic a fragment of a linguistic theory, namely, Government-Binding theory, and trans- forms it by formally provable steps into a logic program for parsing. ... The collection shows clearly the fast proliferation of new logic grammars and Prolog dialects, which is per- haps a necessary stage for a relatively new domain. ...
Model to Efficient Compilation of Patterns From Abstract PROLOG Instruction Set An Abstract PROLOG Machine-a Specification  Abstract PROLOG Machine and its Application to Partial Evaluation ...  on of an Abstract PROLOG Machine An Abstraction in Logic Programming Modularization and Abstraction in Logic Programming Modularization and Abstraction in PROLOG/KR Data Acceptability ... PROLOG II on VAX Installation and Utilisation Guide 12261 PROLOG II Reference Manual and Theoretical Model u191 PROLOG II User's Manual  PROLOG II A Logical Reconstruction of ...doi:10.1016/0743-1066(84)90025-6 fatcat:ypq2jrr3mvd3hflnp6ftrcd5vm
The Australian Computer Journal, Vol. 17, No. 4, November 1985 REITER, R. (1984): A Logical Reconstruction of Relational Database Theory, in M.L. ... LLOYD, J.W. and TOPOR, R.W. (1985b): A Basis for Deductive Da- tabase Systems II, Technical Report 85/6, Department of Computer Science, University of Melbourne; also J. of Logic Programming (to appear ...
Lecture Notes in Computer Science
That semantics is then performed by a (higher-order) logic program: successful performance means that a formal proof of a theorem has been found. ... At the heart of this design is a semantics of proof evidence that arises from recent advances in the theory of proofs for classical and intuitionistic logic. ... Acknowledgments We thank the anonymous reviewers of an earlier version of this paper for their comments. This work was funded by the ERC Advanced Grant ProofCert. ...doi:10.1007/978-3-642-38574-2_11 fatcat:yjoo3itjwnh55lm7fkvarjsppq
W. (3-WTRL-C) A logical reconstruction of Prolog II. J. Logic Programming 1 (1984), no. 2, 143-149. Authors’ summary: “A. ... Colmerauer has proposed a theoretical model for Prolog II based on tree rewriting rather than logic. In this paper, we show that Prolog II can be regarded as a logic programming language.” Harel, D. ...
TWO ADVANCED LOGIC PROGRAMMING LANGUAGES In this section, we introduce the main features of Prolog II and AProlog. ... So, one can reconstruct an abstraction by solving problems of the following form: 3A3XVt(At) = (X t). The solution in X of the problem is the reconstructed abstraction. ... Thanks must also go to David Trotman and Luke Hornof for their careful reading of the paper. ...doi:10.1016/0743-1066(95)00040-q fatcat:ph7ll7eoinekvll3i6o5ktyqsa
We propose a semantics for Prolog programs based on a four-valued logic. ... The coincidence of the declarative and procedural interpretations of logic programs does not apply to Prolog programs, due to the depth-first left-to-right evaluation strategy of Prolog interpreters. ... In  , Bossi et al. present a fixpoint reconstruction of the semantics of Prolog which captures both the left-to-right selection rule and the depth-first search strategy underlying the Prolog evaluation ...doi:10.1016/s0167-6423(97)00033-6 fatcat:foxx7a46wjfr7jxd2bobvos2li
I will argue that logic programming can have a major role in the future of this important topic. ... While there is considerable overlap in the foundations of logic programming and proof checking (both benefit from unification, backtracking search, efficient term structures, etc), the discipline of logic ... Zak Chihani provided comments on an earlier version of this paper. The work presented here has been funded by the ERC Advanced Grant ProofCert. ...doi:10.1145/2790449.2790510 dblp:conf/ppdp/Miller15 fatcat:deqb2aqdt5h5lanahxijfqlwlm
I will argue that logic programming can have a major role in the future of this important topic. ... While there is considerable overlap in the foundations of logic programming and proof checking (both benefit from unification, backtracking search, efficient term structures, etc), the discipline of logic ... Zak Chihani provided comments on an earlier version of this paper. The work presented here has been funded by the ERC Advanced Grant ProofCert. ...doi:10.1007/s00165-016-0393-z fatcat:toytkltecrcfdpjevs4jfdbqbu
Lecture Notes in Computer Science
calculus quantifiers, and then reconstructing a predicate calculus representation of the sentence's meaning. ... "sometimes", "mostly") onto the bimodal logic, negation by failure operation of PROLOG. ...doi:10.1007/3-540-19036-8_30 fatcat:awcdt77uevbptkjwbmplwns7vq
Advances in Intelligent Systems and Computing
The main focus in on logical reconstruction of BPMN model in Prolog and defining some formal requirements on model correctness enabling formal verification of such models. ... Both of them are to certain degree complementary. In this paper, we investigate how to build a logical model of BPMN using logic programming and rules. ... BPMN MODEL IN PROLOG In this section a Prolog model for the example BPMN diagram is presented. It enables logical analysis of the diagram. ...doi:10.1007/978-3-319-03677-9_5 fatcat:cn2rkjvazbe2temq5cthd46nqa
« Previous Showing results 1 — 15 out of 1,811 results