A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
Filters
A Framework for Composition and Inter-operation of Rules in the Semantic Web
2006
2006 Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML'06)
Preserved Fulltext
In this paper we describe the basic syntax and semantics of the framework, and its preliminary implementation in the ASP-Prolog system. ...
The framework allows the derivation of logic programming modules from each rule base, and their interoperation through a well-defined module interface. ...
SweetProlog [20] relies on converting OWL ontologies to description logics, RuleML rules into Prolog, and using a Prolog system to integrate the two components. ...
doi:10.1109/ruleml.2006.1
dblp:conf/ruleml/PontelliSB06
fatcat:4gqgqqaqeffgza2f73wokm324m
A mathematical definition of full Prolog
1995
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The model includes all control constructs, database operations, solution collecting predicates and error handling facilities, typically ignored by previous theoretical treatments of the language. ...
The model directly reflects the basic intuitions underlying the language and can be used as a primary mathematical definition of Prolog. ...
Special thanks to Yuri Gurevich, for permanent discussion of the whole evolving algebra approach and of several early versions of this paper. ...
doi:10.1016/0167-6423(95)00006-e
fatcat:tlrgvdj4wjadtdzdpks76qamvi
Linear logic semantics for Concurrent Prolog
[chapter]
1994
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
This paper develops a proof-theoretic semantics based on linear logic for Concurrent Prolog. ...
It is demonstrated that the relationship between a logic programming language, such as Prolog, and a committed-choice concurrent logic one, such as Concurrent Prolog, can be understood as a change of the ...
The declarative semantics of the core parts of these languages is still essential for us to call these languages Ulogic programming languages'. ...
doi:10.1007/3-540-58025-5_66
fatcat:fgrkokatfnduneiit5utujalia
A language for legal Discourse I. basic features
1989
Proceedings of the second international conference on Artificial intelligence and law - ICAIL '89
Preserved Fulltext
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 application/pdf.
If the negation and embedded implication rules were interpreted classically, they would be equivalent to full first-order logic. ...
My point here is that the intuitionistic semantics at the core of the language facilitates the development of an integrated system, and simplifies the proof procedures for the various modalities. ...
doi:10.1145/74014.74037
dblp:conf/icail/McCarty89
fatcat:iunrlpje3jfddi5s4rac2azy5a
ClioPatria: A SWI-Prolog infrastructure for the Semantic Web
2016
Semantic Web Journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
ClioPatria extends this core with a SPARQL and LOD server, an extensible web frontend to manage the server, browse the data, query the data using SPARQL and Prolog and a Git-based plugin manager. ...
ClioPatria is a comprehensive semantic web development framework based on SWI-Prolog. ...
Acknowledgements The development of ClioPatria has been initiated under the Dutch MultimediaN project. Further development has taken place in the context of many different projects. ...
doi:10.3233/sw-150191
fatcat:a3zta32n2jduzltcldsfvodhbq
Communicating Sequential Processes. By C.A.R. Hoare. Prentice-Hall International, London, 1985, viii+256 pages
1987
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Part I provides the basic concepts of micro-PROLOG: facts, rules and queries and a first introduction to lists. ...
In the first two parts, a special user-friendly syntax is used. This syntax is transformed into core micro-Prolog by the SIMPLE front end. The core is the subject of Part III. ...
doi:10.1016/0167-6423(87)90028-1
fatcat:upoiu3o3fraojkw2rkg3gftzne
Abstract State Machines 1988-1998: Commented ASM Bibliography
[article]
1998
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
An annotated bibliography of papers which deal with or use Abstract State Machines (ASMs), as of January 1998. ...
Logical Operational Semantics of Parlog. Part I: And-Parallelism. In H. Boley and M. M. ...
A Formal Operational Semantics for Languages of Type Prolog III. In E. Börger, H. Kleine Büning, M. M. Richter, and W. ...
arXiv:cs/9811014v1
fatcat:w3vj5i7mzbccbcibroi7dkmhtq
Declarative programming for verification
2008
Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '08
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
More precisely, we present insights gained and lessons learned while implementing animators and model checkers in Prolog for various specification languages, ranging from process algebras such as CSP to ...
This paper summarises roughly ten years of experience using declarative programming for developing tools to validate formal specifications. ...
Acknowledgments I would like to thank the co-authors of the papers that are behind this work: Jens Bendisposto, Michael Butler, Marc Fontaine, Helko Lehmann, Thieryy Massart, Daniel Plagge, Corinna Spermann ...
doi:10.1145/1389449.1389450
dblp:conf/ppdp/Leuschel08
fatcat:f55xkcbjaral7lytcr6odnmsee
Heterogeneous active agents, I: Semantics
1999
Artificial Intelligence
Preserved Fulltext
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 application/pdf.
We further show that agent programs cleanly extend well understood semantics for logic programs, and thus are clearly linked to existing results on logic programming and nonmonotonic reasoning. : S 0 0 ...
Agent Programs may be built on top of arbitrary pieces of software code and may be used to specify what an agent is obliged to do, what an agent may do, and what an agent may not do. ...
Acknowledgements We wish to thank Alex Dekhtyar, Jürgen Dix, Bob Kowalski, Sarit Kraus, Munindar Singh, Terrence Swift, and the referees for a very close reading of (versions of) this manuscript, and for ...
doi:10.1016/s0004-3702(99)00005-3
fatcat:qwjtokajprhq5feu72qgxl6q44
Deductive Spreadsheets Using Tabled Logic Programming
[chapter]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
Rule-based specifications in Datalog are used in a number of application areas, such as configuration management, access control and trust management, decision making, etc. ...
This allows the user to not have to think about abstractions and general parameterized operations, but instead concentrate on multiple concrete operations. ...
Semantics: The semantics of a DSS expression is given by translation to Datalog programs, i.e., Prolog programs without function symbols [16] . ...
doi:10.1007/11799573_29
fatcat:x4rta7stsjdrzgnezybtf6jp7e
Parallel Logic Programming: A Sequel
[article]
2022
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Other Versions
The goal of the survey is to serve not only as a reference for researchers and developers of logic programming systems, but also as engaging reading for anyone interested in logic and as a useful source ...
Multi-core and highly-connected architectures have become ubiquitous, and this has brought renewed interest in language-based approaches to the exploitation of parallelism. ...
Lookahead is part of the Select Atom operation. ...
arXiv:2111.11218v2
fatcat:hek4fidju5fblprut2squ6o3rm
Defining Standard Prolog in Rewriting Logic
2000
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The purpose of this paper is to present the key concepts of a new, simple operational semantics of Standard Prolog in the form of rewriting rules. ...
The coincidence between the model-theoretic and the procedural semantics of SLDresolution does not carry over to a Prolog system that also implements non-logical features like cut and whose depth-first ...
Quite simply, if there is a non-empty continuation immediately to the right of a u, then it shall be activated, i. e. turned into the current goal. 3
Some easy logic-and-control, part I: true, fail ...
doi:10.1016/s1571-0661(05)80121-5
fatcat:zcejlcvyxnbx3m25ebygdfpau4
Logic programming in the context of multiparadigm programming: the Oz experience
[article]
2002
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
This article has two goals: to give a tutorial of logic programming in Oz and to show how logic programming fits naturally into the wider context of multiparadigm programming. ...
This model subsumes both concurrent logic programming (committed-choice-style) and search-based logic programming (Prolog-style). ...
An overview of the parallel language Id -a foundation for pH, a parallel dialect of Haskell. Tech. rept. Digital Equipment Corporation, Cambridge Research Laboratory. ...
arXiv:cs/0208029v1
fatcat:aef4drwtkfd4tcyknziqfegbja
Teaching Computer Languages and Elementary Theory for Mixed Audiences at University Level
2004
Computer Science Education
Preserved Fulltext
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 application/pdf.
Theoretical issues of computer science are traditionally taught in a way that presupposes a solid mathematical background and are usually considered more or less unaccessible for students without this. ...
Prolog used as meta-language for describing language issues is the central instrument in the approach: Formal descriptions become running prototypes that are easy and appealing to test and modify, and ...
Thanks to Niels Jørgensen for helpful comments to an early version of this paper. This research is supported in part by the IT-University of Copenhagen. ...
doi:10.1080/0899340042000302727
fatcat:zbhxh3dvtvafximdkfyjg3rrse
Fifty Years of Prolog and Beyond
[article]
2022
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Other Versions
Both logic programming in general, and Prolog in particular, have a long and fascinating history, intermingled with that of many disciplines they inherited from or catalyzed. ...
This article aims at integrating and applying the main lessons learned in the process of evolution of Prolog. It is structured into three major parts. ...
The authors also endorse Paul McJones' efforts to maintain a historical archive on Prolog, at http://www.softwarepreservation.org/projects/prolog/, and thank all contributors. ...
arXiv:2201.10816v3
fatcat:grixngoazrdfjosno4zvnimsnq
« Previous
Showing results 1 — 15 out of 2,720 results