Filters








1,811 Hits in 3.0 sec

A logical reconstruction of Prolog II

M.H. van Emden, J.W. Lloyd
1984 The Journal of Logic Programming  
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

Title index to volume 1

1984 The Journal of Logic Programming  
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

Book reports

1992 Computers and Mathematics with Applications  
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

A LOGIC-BASED NETWORK FORENSIC MODEL FOR EVIDENCE ANALYSIS [chapter]

Changwei Liu, Anoop Singhal, Duminda Wijesekera
2015 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 [9] to determine the admissibility of evidence.  ... 
doi:10.1007/978-3-319-24123-4_8 fatcat:tpj6473orjfb3ljpbekw4qnbre

Page 187 of Computational Linguistics Vol. 15, Issue 3 [page]

1989 Computational Linguistics  
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.  ... 

KWIC (key word in context)

1984 The Journal of Logic Programming  
Model to Efficient Compilation of Patterns [166]From Abstract PROLOG Instruction Set [672]An Abstract PROLOG Machine-a Specification [383] Abstract PROLOG Machine and its Application to Partial Evaluation  ...  [336] on of an Abstract PROLOG Machine [334]An Abstraction in Logic Programming [198]Modularization and Abstraction in Logic Programming [199]Modularization and Abstraction in PROLOG/KR [439]Data Acceptability  ...  PROLOG II on VAX Installation and Utilisation Guide 12261 PROLOG II Reference Manual and Theoretical Model u191 PROLOG II User's Manual [635] PROLOG II [662]A Logical Reconstruction of  ... 
doi:10.1016/0743-1066(84)90025-6 fatcat:ypq2jrr3mvd3hflnp6ftrcd5vm

Page 173 of Journal of Research and Practice in Information Technology Vol. 17, Issue 4 [page]

1985 Journal of Research and Practice in Information Technology  
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  ... 

Foundational Proof Certificates in First-Order Logic [chapter]

Zakaria Chihani, Dale Miller, Fabien Renaud
2013 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

Page 2760 of Mathematical Reviews Vol. , Issue 85g [page]

1985 Mathematical Reviews  
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.  ... 

On the use of advanced logic programming languages in computational linguistics

Solange Coupet-Grimal, Olivier Ridoux
1995 The Journal of Logic Programming  
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

Towards a logical semantics for pure Prolog

Roberto Barbuti, Nicoletta De Francesco, Paolo Mancarella, Antonella Santone
1998 Science of Computer Programming  
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 [9] , 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

Proof checking and logic programming

Dale Miller
2015 Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming - PPDP '15  
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

Proof checking and logic programming

Dale Miller
2016 Formal Aspects of Computing  
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

Linguistic definition of generic models in computer vision [chapter]

P. Fretwell, P. J. Goillau
1988 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

AI Approach to Formal Analysis of BPMN Models: Towards a Logical Model for BPMN Diagrams [chapter]

Antoni Ligęza, Tomasz Potempa
2014 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