Filters








311 Hits in 2.7 sec

An Efficient Storage Manager [chapter]

Dimitris G. Kapopoulos, Michael Hatzopoulos, Panagiotis Stamatopoulos
2000 Lecture Notes in Computer Science  
When dealing with large quantities of clauses, the use of persistent knowledge is inevitable, and indexing methods are essential to answer queries efficiently.  ...  PerKMan may be connected to Prolog systems that offer an external C language interface.  ...  The G-tree [8] is an adaptable multidimensional structure that combines the features of B-trees and grid files.  ... 
doi:10.1007/3-540-44472-6_27 fatcat:kzlyqbi4pze5xjnvmbwh46uajm

An introduction to deductive database languages and systems

Kotagiri Ramamohanarao, James Harland
1994 The VLDB journal  
One of the main contributions of this development is the support of a multi-dimensional grid file system called Balanced And Nested Grid file (BANG).  ...  MegaLog was designed to be similar to Prolog, but the main emphasis is on efficient database access.  ... 
doi:10.1007/bf01228878 fatcat:z3nd6ps5znbt5b65333o4yrxda

April – An Inductive Logic Programming System [chapter]

Nuno A. Fonseca, Fernando Silva, Rui Camacho
2006 Lecture Notes in Computer Science  
Hence, ILP systems implemented in Prolog challenge the limits of Prolog systems due to their heavy usage of resources such as database accesses and memory usage.  ...  The major reason for using Prolog is that the inference mechanism implemented by the Prolog engine is fundamental to most ILP learning algorithms.  ... 
doi:10.1007/11853886_42 fatcat:mc2pvtjthza5fg7mb5pftilmzy

Page 51 of Journal of Research and Practice in Information Technology Vol. 23, Issue 2 [page]

1991 Journal of Research and Practice in Information Technology  
Grid files for efficient Prolog clause access. In P. Gray and R. Lucas, editors, Prolog and databases, pages 188-211, Ellis Horwood, Chicester, England. GALLAIRE, H. and MINKER, J. (1978). Editors.  ...  KB-Prolog, a Prolog for very large knowledge bases. In Proceedings of the Seventh British National Conference on Databases, paes 163-184, Edinburgh, Scotland, July.  ... 

The Space Package: Tight Integration between Space and Semantics

Willem Robert van Hage, Jan Wielemaker, Guus Schreiber
2010 Transactions on GIS  
Together with the existing semantic web reasoning capabilities of SWI-Prolog, this allows efficient integration of spatial and semantic queries and provides an infrastructure for declarative programming  ...  The actual indexing machinery is encapsulated inside Prolog predicates.  ...  This makes them first-class Prolog citizens, which allows the construction and transformation of shapes using regular Prolog clauses, or Definite Clause Grammars (DCGs).  ... 
doi:10.1111/j.1467-9671.2010.01187.x fatcat:u4iiaqrebfc57go5q4cqkg3pju

Using trust and risk in role-based access control policies

Nathan Dimmock, András Belokosztolszki, David Eyers, Jean Bacon, Ken Moody
2004 Proceedings of the ninth ACM symposium on Access control models and technologies - SACMAT '04  
We apply our new model to the prototypical example of a file storage and publication service for the Grid, and test it using our Prologbased OASIS implementation.  ...  This paper elucidates the similarities between trust management and distributed access control systems by demonstrating how the OASIS access control system and its rôle-based policy language can be extended  ...  A file-storage and publication service for the Grid To illustrate our model, we will apply it to a Grid file-storage and publication service.  ... 
doi:10.1145/990036.990062 dblp:conf/sacmat/DimmockBEBM04 fatcat:gpomrg5yt5a3hh2al3upoou7ki

Parallel Logic Programming: A Sequel [article]

Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha
2022 arXiv   pre-print
for researchers in parallel systems outside logic programming.  ...  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  ...  NameNodes (masters) regulate access to files, track data files, and store metadata. File content is partitioned into small chunks (blocks) of data distributed across the network.  ... 
arXiv:2111.11218v2 fatcat:hek4fidju5fblprut2squ6o3rm

ReGS: user-level reliability in a grid environment

J.A.L. Sanches, P.K. Vargas, I. de Castro Dutra, V.S. Costa, C.F.R. Geyer
2005 CCGrid 2005. IEEE International Symposium on Cluster Computing and the Grid, 2005.  
Grid environments are ideal for executing applications that require a huge amount of computational work, both due to the big number of tasks to execute and to the large amount of data to be analysed.  ...  Our results show that besides automatically and effectively managing a huge number of tasks in grid environments, ReGS is also a good monitoring tool to spot grid nodes pitfalls.  ...  In the example application output files are Prolog files, and integrity is easily detected by loading the files to our Prolog system.  ... 
doi:10.1109/ccgrid.2005.1558634 dblp:conf/ccgrid/SanchesVDCG05 fatcat:nirmrxgkavgdhgsbivr75mrnfy

West2East: exploiting WEb Service Technologies to Engineer Agent-based SofTware

Giovanni Casella, Viviana Mascardi
2007 International Journal of Agent-Oriented Software Engineering  
and WSDL documents; and d) a Prolog term.  ...  West2East exploits languages for Web Services for representing Agent Interaction Protocols (AIPs), and Computational Logic to reason about them.  ...  and grid computing, e-commerce, e-health, and for many other domains.  ... 
doi:10.1504/ijaose.2007.016267 fatcat:qum7sp6vife2rkrnjulbxgzgr4

Negotiating Agreements Using Policies in Ubiquitous Computing Scenarios

V. Ramakrishna, Kevin Eustice, Peter Reiher
2007 IEEE International Conference on Service-Oriented Computing and Applications (SOCA '07)  
The emerging ubiquitous computing vision is characterized by decentralized and ad hoc interoperation among devices and networks for access to services.  ...  Our negotiation protocol uses a small number of message types, which we have found to be sufficient for supporting a wide variety of application scenarios that occur on the Web, and that will likely be  ...  Negotiation protocols have been proposed for access to grid services to match resource owner and consumer preferences [13] .  ... 
doi:10.1109/soca.2007.32 dblp:conf/soca/RamakrishnaER07 fatcat:xeh7ahblzrdixcycnkzpick7ly

Intelligent data retrieval in prolog: An illuminating idea

Cristina Ruggieri, Mirko Sancassani, Nenna Dore, Francesco Russo, Ugo Manfredi
1996 The Journal of Logic Programming  
t> This paper describes an intelligent data retrieval system, designed for the Epidemiological Observatory of Emilia Romagna, named IDEA.  ...  Its implementation has been realized using an object-oriented library of SICStus Prolog and the APPEAL programming environment.  ...  The second query/2 clause simply send~J the query to the correct SICStus Object for the computation. The resulting turAes are obtained by backtracking and are stored in a temporary file.  ... 
doi:10.1016/0743-1066(95)00098-4 fatcat:bzznshjzjbh3vo22ziprtowgaq

NEXCEL, A Deductive Spreadsheet

Iliano Cervesato
2011 Qatar Foundation Annual Research Forum Proceedings  
The deductive component is seamlessly integrated into the traditional spreadsheet so that a user not only still has access to the usual functionalities, but is able to use them as part of the logical inference  ...  Usability and usefulness have made the spreadsheet one of the most successful computing applications of all times: millions rely on it every day for anything from typing grocery lists to developing multimillion  ...  Acknowledgements We are grateful to numerous individuals for their useful comments on early ideas underlying this work.  ... 
doi:10.5339/qfarf.2011.csp25 fatcat:j6bignck4jfnppolgcuqq67kfi

NEXCEL, a deductive spreadsheet

ILIANO CERVESATO
2007 Knowledge engineering review (Print)  
The deductive component is seamlessly integrated into the traditional spreadsheet so that a user not only still has access to the usual functionalities, but is able to use them as part of the logical inference  ...  Usability and usefulness have made the spreadsheet one of the most successful computing applications of all times: millions rely on it every day for anything from typing grocery lists to developing multimillion  ...  Acknowledgements We are grateful to numerous individuals for their useful comments on early ideas underlying this work.  ... 
doi:10.1017/s0269888907001142 fatcat:7qvjrgqnhzhkdeibvdy6ngoici

Prolog and ASP Inference under One Roof [chapter]

Marcello Balduccini, Yuliya Lierler, Peter Schüller
2013 Lecture Notes in Computer Science  
Devising, implementing, and evaluating a method that alleviates this problem for certain application domains is the focus of this paper.  ...  The proposed method is based on combining backtracking-based search algorithms employed in answer set solvers with SLDNF resolution from PROLOG.  ...  Acknowledgments We are grateful to Yuanlin Zhang, Michael Gelfond, Vladimir Lifschitz, and Mirosław Truszczyński for useful discussions related to the topic of this work.  ... 
doi:10.1007/978-3-642-40564-8_15 fatcat:o3lvpnezdfgvhm6hjxtyejbwvu

Design and Semantics of a Decentralized Authorization Language

Moritz Becker, Cedric Fournet, Andrew Gordon
2007 Computer Security Foundations Workshop (CSFW), Proceedings of the IEEE  
We present a declarative authorization language that strikes a careful balance between syntactic and semantic simplicity, policy expressiveness, and execution efficiency.  ...  We also thank Martín Abadi, Blair Dillaway, Peter Sewell, Vicky Weissman, Tuomas Aura, Michael Roe, Sebastian Nanz and the anonymous referees for valuable comments.  ...  Prolog) may run into loops even for simple assertion contexts.  ... 
doi:10.1109/csf.2007.18 dblp:conf/csfw/BeckerFG07 fatcat:nc3wgkygrjgrnorcffagu3oj2m
« Previous Showing results 1 — 15 out of 311 results