2,720 Hits in 5.6 sec

A Framework for Composition and Inter-operation of Rules in the Semantic Web

Enrico Pontelli, Tran Son, Chitta Baral
2006 2006 Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML'06)  
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

Egon Börger, Dean Rosenzweig
1995 Science of Computer Programming  
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]

Jiří Zlatuška
1994 Lecture Notes in Computer Science  
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

L. T. McCarty
1989 Proceedings of the second international conference on Artificial intelligence and law - ICAIL '89  
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

Jan Wielemaker, Wouter Beek, Michiel Hildebrand, Jacco van Ossenbruggen, Axel Polleres
2016 Semantic Web Journal  
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  
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]

Egon Boerger, James K. Huggins
1998 arXiv   pre-print
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

Michael Leuschel
2008 Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '08  
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

Thomas Eiter, V.S. Subrahmanian, George Pick
1999 Artificial Intelligence  
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]

C. R. Ramakrishnan, I. V. Ramakrishnan, David S. Warren
2006 Lecture Notes in Computer Science  
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]

Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha
2022 arXiv   pre-print
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

M. Kulaš, C. Beierle
2000 Electronical Notes in Theoretical Computer Science  
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]

Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Martin Henz, Christian Schulte
2002 arXiv   pre-print
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

Henning Christiansen
2004 Computer Science Education  
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]

Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, Jose F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto
2022 arXiv   pre-print
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, and thank all contributors.  ... 
arXiv:2201.10816v3 fatcat:grixngoazrdfjosno4zvnimsnq
« Previous Showing results 1 — 15 out of 2,720 results