84 Hits in 2.1 sec

Intelligent data retrieval in prolog: An illuminating idea

Cristina Ruggieri, Mirko Sancassani, Nenna Dore, Francesco Russo, Ugo Manfredi
1996 The Journal of Logic Programming  
Its implementation has been realized using an object-oriented library of SICStus Prolog and the APPEAL programming environment.  ...  The resulting system can be seen as the basic component of a general-purpose decision support system, whose development is foreseen in the near future.  ...  The third query/2 clause copies ~he resulting tuples in an INGRES relation by using predicates of the Prolog/INGRES interface provided by APPEAL [3] .  ... 
doi:10.1016/0743-1066(95)00098-4 fatcat:bzznshjzjbh3vo22ziprtowgaq

Q-Data: Using Deductive Database Technology to Improve Data Quality [chapter]

Amit Sheth, Christopher Wood, Vipul Kashyap
1995 Applications of Logic Databases  
Experiences related to engineering aspects of both the deductive database system and other component t e c hnologies, as well as pragmatic aspects of the implementation of Q-Data as a distributed system  ...  Two of the most frequent manifestations of poor data quality a r e :  ...  Acknowledgements Our e ort to develop Q-Data would not have been possible without the support of KayLiang Ong and Christine Tomlinson at MCC.  ... 
doi:10.1007/978-1-4615-2207-2_2 fatcat:lnjxoqocrbc7rnuxgczwdngx3i

An animation facility to simulate an information and communication system [chapter]

Robert Croshere, Reind Riet, Alco Blom
1993 Lecture Notes in Computer Science  
Mokum is an object-oriented active knowledge base system with which the behaviour of a prototype of an information and communication system can be simulated.  ...  Through this facility it is possible to see what is happening with the simulation using several windows, the most interesting one being a window which acts as a kind of movie screen.  ...  These objects can reason in a Prolog-like way. The Mokum system is implemented as a combination of Prolog and INGRES [vdR89] .  ... 
doi:10.1007/3-540-56777-1_29 fatcat:cunfrap3fbaffn5uysan35m3wy

Page 316 of American Society of Civil Engineers. Collected Journals Vol. 113, Issue 4 [page]

1987 American Society of Civil Engineers. Collected Journals  
This system is imple- mented in PROLOG for a mainframe computer.  ...  The system is implemented in FORTRAN (for optimization), FRAMEKIT (for overall process control), and INGRES (for data base management).  ... 

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
Finally, we perform a SWOT analysis in order to better identify the potential of Prolog, and propose future directions along which Prolog might continue to add useful features, interfaces, libraries, and  ...  A large body of research has been gathered over the last 50 years, supported by many Prolog implementations. Many implementations are still actively developed, while new ones keep appearing.  ...  The authors also endorse Paul McJones' efforts to maintain a historical archive on Prolog, at, and thank all contributors.  ... 
arXiv:2201.10816v3 fatcat:grixngoazrdfjosno4zvnimsnq

codeQuest: Scalable Source Code Queries with Datalog [chapter]

Elnar Hajiyev, Mathieu Verbaere, Oege de Moor
2006 Lecture Notes in Computer Science  
Our implementation of Datalog maps queries to a relational database system. We are thus able to capitalise on the query optimiser provided by such a system.  ...  Source code querying tools allow programmers to explore relations between different parts of the code base. This paper describes such a tool, named CodeQuest .  ...  Members of the Programming Tools Group at Oxford provided helpful feedback at all stages of this research.  ... 
doi:10.1007/11785477_2 fatcat:brh6r2kbafg2bjtfosrqfdzxii

Query Technologies and Applications for Program Comprehension (QTAPC 2008)

M. Verbaere, M.W. Godfrey, T. Girba
2008 2008 16th IEEE International Conference on Program Comprehension  
Consequently, understanding how a software system works requires the ability to pose queries over the design-level entities of the system.  ...  Industrial software systems are large and complex, both in terms of the software entities and their relationships.  ...  One of the earliest proposals of this kind was Linton's Omega system [21] ; queries were formulated in the Ingres query language QUEL.  ... 
doi:10.1109/icpc.2008.27 dblp:conf/iwpc/VerbaereGG08 fatcat:3kvdhipayngbzanjqr67gah6vi

Inside a software design team: knowledge acquisition, sharing, and integration

Diane B. Walz, Joyce J. Elam, Bill Curtis
1993 Communications of the ACM  
Ideally, a software design team is staffed so that both the levels and the distribution of knowledge within the team match those required for the successful completion of the project.  ...  This integration leads to shared models of the problem under consideration and potential solutions. A software design team seldom starts its life with shared models of the system to be built.  ...  Acknowledgments The authors wish to acknowledge the support of the Software Technology program at Microelectronics and Computer Technology Corporation in Austin, Texas.  ... 
doi:10.1145/163430.163447 fatcat:63qm2kkv5nbblggwwg3mmslyzy

Process modelling languages: One or many? [chapter]

Reidar Conradi, Chunnian Liu
1995 Lecture Notes in Computer Science  
We also present a general architecture for a Process-Centered Software Engineering Environment, with a segmented repository of model servers.  ...  We also give a realistic example of the design of an interoperable PSEE, and discuss how it can be improved using an extended EPOS.  ...  Project tools, using a project database also implemented by Ingres. These tools will initially be generated by the same Systemator tool (and expressed in Ä Ë Ë Í Ä ).  ... 
doi:10.1007/3-540-59205-9_47 fatcat:xpqbycencrhcdia7xqnl27wvye

The CORAL deductive system

Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan, Praveen Seshadri
1994 The VLDB journal  
The paper presents a comprehensive view of the system from broad design goals, the language, and the architecture of the system down to language interfaces and implementation details. ]). 1 The CORAL project  ...  CORAL is a deductive system which supports a rich declarative language, and an interface to C++ which allows for a combination of declarative and imperative programming.  ...  evaluation system; Je Cai provided developmental support; Lai-chong Chan did the initial implementation of existential query optimization; Manuvir Das implemented the Ingres interface; Sumeer Goyal implemented  ... 
doi:10.1007/bf01228880 fatcat:yvr6ltdmsfd4tcooccrwhuxghe

FW/SM: A Prototype Structured Modeling Environment

Arthur M. Geoffrion
1991 Management science  
of a new generation of modeling environments.  ...  A research prototype implementation has been evolving for several years in parallel with the vision, theory, language, and applicative aspects of structured modeling.  ...  The views contained in this report are those of the author and not of the sponsors.  ... 
doi:10.1287/mnsc.37.12.1513 fatcat:7vqkgzj6knfhfjppvklf3nrj3i

On implementing SchemaLog---a database programming language

Alanoly J. Andrews, Nematollaah Shiri, Laks V. S. Lakshmanan, Iyer N. Subramanian
1996 Proceedings of the fifth international conference on Information and knowledge management - CIKM '96  
We discuss the results of our experiments and conclude with a discussion of a graphic user interface for SchemaLog program development, that has also been implemented.  ...  In this paper, we discuss our implementation of SchemaLo& a logic-based database programming language, capable of offering a powerful platform for a variety of database applications involving data/meta-data  ...  An implementation of SchemaLog for multi-database inter- operabtity among several INGRES databases is described in [LSPS9S] and a stand&lone implementation of SchemaLog is in progress.  ... 
doi:10.1145/238355.238565 dblp:conf/cikm/AndrewsLSS96 fatcat:mdrer4pc6janxlocmvh6n2467q

A Retrospective of a Pioneering Project. Earlier Than XML, Other Than SGML, Still Going: CuProS Metadata for Deeply Nested Relations and Navigating for Retrieval in RAFFAELLO [chapter]

Ephraim Nissan, Jihad El-Sana
2014 Lecture Notes in Computer Science  
known beforehand, the version of Navigation that was implemented by El-Sana under Nissan's supervision used a metadata schema.  ...  Whereas Raffaello within Onomaturge was a simpler version, such that retrieval was done by means of retrieval functions implemented in Lisp and reflecting the actual structure of the nested relations as  ...  The Raffaello/Ingres interface proved to be slow, due to cumulation.  ... 
doi:10.1007/978-3-642-45321-2_20 fatcat:6i3osnvafzdvzkxqarogaxr34u

The logiform system

A. Bonsignori, F. Giannotti, L. Lucchesi, F. Turini
1990 Computers and Mathematics with Applications  
Control functions are currently implemented as Prolog meta-programs [17, 18] .  ...  G,+~ is called a Logi[brm resoh'ent of G, according to [~ A -la Prolog. The control functions corresponding to the standards SLD resolution of Prolog are: terminal(true).  ... 
doi:10.1016/0898-1221(90)90114-y fatcat:rnpmmwp3ind3vhvht4f4l4b2ci

The POSTGRES next generation database management system

Michael Stonebraker, Greg Kemnitz
1991 Communications of the ACM  
POSTGRES Performance We have also compared the performance of POSTGRES with that of INGRES, Version 5.0, a commercial DBMS from the INGRES products division of ASK Computer Systems.  ...  On a Sun 3/280 POSTGRES is about 3/5 of the performance of ASK-INGRES for the Wisconsin benchmark.  ...  To copy otherwise, or to republish, requires a fee and/or specific permission.  ... 
doi:10.1145/125223.125262 fatcat:d544kdtamrh7vcgvgvfqdrhi5q
« Previous Showing results 1 — 15 out of 84 results