Filters








1,143 Hits in 6.6 sec

NED-2: an agent-based decision support system for forest ecosystem management

Donald Nute, Walter D. Potter, Frederick Maier, Jin Wang, Mark Twery, H.Michael Rauscher, Peter Knopp, Scott Thomasma, Mayukh Dass, Hajime Uchiyama, Astrid Glende
2004 Environmental Modelling & Software  
The blackboard integrates a Microsoft Access database and Prolog clauses, and the agents are implemented in Prolog.  ...  Prolog agents use growth and yield models to simulate management plans, perform goal analyses on userspecified views of the management unit, display results of plan simulation using GIS tools, and generate  ...  ACKNOWLEDGEMENTS More than 100 people have contributed to the development of NED software through participation on committees, testing of preliminary versions, or providing financial or moral support.  ... 
doi:10.1016/j.envsoft.2003.03.002 fatcat:3mq3ixxudvh3zgemrttiehmd3a

Partial evaluation as a means for inferencing data structures in an applicative language

H. Jan Komorowski
1982 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '82  
In particular, the specification of the so called cut k a matter of tagging e configuration which introduces a body containing a cut.  ...  Thus the efficiency benefit has two sources. Moreover, in this way the data structures are inference from lower-level procedures.  ... 
doi:10.1145/582153.582181 dblp:conf/popl/Komorowski82 fatcat:nzaj4kdn5rgenpduftst2useu4

PROLOG/RDBMS Integration in the NED Intelligent Information System [chapter]

F. Maier, D. Nute, W. D. Potter, J. Wang, M. Twery, H. M. Rauscher, P. Knopp, S. Thomasma, M. Dass, H. Uchiyama
2002 Lecture Notes in Computer Science  
The present paper focuses upon an issue of central importance to the project: the integration of PROLOG and relational databases to form the blackboard of NED-2.  ...  The following paper describes recent work on NED-2, an intelligent information system for ecosystem management currently in development by the USDA Forest Service.  ...  This tool-kit, called DSSTools, consists of PROLOG source code routines intended to facilitate the development of blackboard based systems [Zhu95] .  ... 
doi:10.1007/3-540-36124-3_35 fatcat:vomurzrivzcxtbnaoj2tc6lne4

Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp - A Review

Robert P. Futrelle
1994 The AI Magazine  
Unfortunately, the treatment is not related to the current literature on constraint satisfaction; nor is any of the terminology of the field used; nor, in the chapters on Prolog, is the related field of  ...  Some readers might find the chapter on compiling Prolog a bit daunting because various features are added, such as call, bagof, and cut.  ... 
doi:10.1609/aimag.v15i4.1116 dblp:journals/aim/Futrelle94 fatcat:ujnxu4ajlzghxlgab5ibjfma6y

High-level management of computation history for the design and implementation of a prolog system

Vincenzo Loia, Michel Quaggetto
1993 Software, Practice & Experience  
The originality of our work consists in the adoption of a new framework to realize the main components of the system. The framework relies on new mechanisms, called sleepers.  ...  Our approach to Prolog system implementation has been extremely useful both in terms of software design and overall performance. key words: Prolog implementation Delaying mechanisms High-level languages  ...  Special thanks are due to the anonymous referees whose remarks have improved the quality of this paper significantly.  ... 
doi:10.1002/spe.4380230202 fatcat:sejvgip7hvaoxobrb4yo7aqewu

The use of Prolog in the modelling and evaluation of structure charts

T.H Tse, T.Y Chen, C.S Kwok
1994 Information and Software Technology  
We summarize our experience in the use of Prolog to model and evaluate structure charts according to standard guidelines in structured design.  ...  Logic programming, Prolog, structure charts, structured design *  ...  Xie of the University of Pennsylvania for their invaluable contributions in the implementation of the system.  ... 
doi:10.1016/0950-5849(94)90005-1 fatcat:hlt5lzcw5vcztpnootf3j6eew4

Page 5443 of Mathematical Reviews Vol. , Issue 88j [page]

1988 Mathematical Reviews  
O’Keefe, On the treatment of cuts in Prolog source-level tools (pp. 68- 72); Lee Naish, All solutions predicates in PROLOG (pp. 73-77); Jan Matuszynski and Henryk Jan Komorowski, Unification-free execution  ...  on the shallow binding scheme (pp. 110-118); Kazunori Ueda and Takashi Chikayama, Concurrent Prolog com- piler on top of Prolog (pp. 119-126); G.  ... 

Defining Standard Prolog in Rewriting Logic

M. Kulaš, C. Beierle
2000 Electronical Notes in Theoretical Computer Science  
We use a novel linear representation of the Prolog tree traversal. A derivation is represented at the level of unification and backtracking.  ...  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.  ...  Acknowledgments Many thanks forvaluable comments are due to the anonymous referees.  ... 
doi:10.1016/s1571-0661(05)80121-5 fatcat:zcejlcvyxnbx3m25ebygdfpau4

The design and implementation of a high-speed incremental portable Prolog compiler [chapter]

Kenneth A. Bowen, Kevin A. Buettner, Ilyas Cicekli, Andrew K. Turk
1986 Lecture Notes in Computer Science  
The design and implementation of a relatively portable Prolog compiler .achieving 12!( LIPS on the standard benchmark is described.  ...  The system supports modules, garbage collection, database pointers, and a full range of built-ins.  ...  Our approach will be to introduce modifications to the abstract machine providing the required functionality, the primary one being a change in the treatment of the code space.  ... 
doi:10.1007/3-540-16492-8_114 fatcat:t7jl3ihp6rehfhxw4wshqen3di

Teaching Computer Languages and Elementary Theory for Mixed Audiences at University Level

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

The GNU Prolog system and its implementation

Daniel Diaz, Philippe Codognet
2000 Proceedings of the 2000 ACM symposium on Applied computing - SAC '00  
We describe in this paper the GNU-Prolog system, a free system consisting of a Prolog compiler and a constraint solver on finite domains.  ...  GNU-Prolog is based on a low-level mini-assembly platform-independent language that makes it possible for efficient compilation time, and allows to produce small stand alone executable files as the result  ...  The ability of GNU Prolog to produce small executables is an important feature that makes it possible to use them in many occasions (tools, web CGIs,...).  ... 
doi:10.1145/338407.338553 dblp:conf/sac/DiazC00 fatcat:nuxro3acgzcqxefgj3jgomnbia

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
, the main aspects of the ISO-Prolog standard, also depart from each other in other aspects.  ...  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

P#: a concurrent Prolog for the .NET framework

Jonathan J. Cook
2004 Software, Practice & Experience  
The Prolog in C translators have an emphasis on efficiency which leads them to produce unnatural code, in the case of GNU-Prolog involving jumps into functions.  ...  We discuss P#, our implementation of a tool which allows interoperation between a concurrent superset of the Prolog programming language and C#.  ...  Much of the work in solving this problem occurs at the Prolog level, and concurrency is useful here.  ... 
doi:10.1002/spe.594 fatcat:6lzcpopojncxjlzlzuuvg73icu

ECLiPSe - from LP to CLP [article]

Joachim Schimpf, Kish Shen
2010 arXiv   pre-print
ECLiPSe is a Prolog-based programming system, aimed at the development and deployment of constraint programming applications.  ...  This paper discusses language extensions, implementation aspects, components and tools that we consider relevant on the way from Logic Programming to Constraint Logic Programming.  ...  Acknowledgements Owing to its long history, there are dozens of contributors to thank for their work on ECL i PS e and its predecessor systems.  ... 
arXiv:1012.4240v1 fatcat:zsjjglhxyvex3mqts3yjqnsc4y

Global flow analysis as a practical compilation tool

M.V Hermenegildo, R Warren, S.K Debray
1992 The Journal of Logic Programming  
This paper addresses the issue of the practicality of global flow analysis in logic program compilation, in terms of speed of the analysis, precision, and usefulness of the information obtained.  ...  Based on the results obtained, it is concluded that the overhead of global flow analysis is not prohibitive, and the results of analysis can be quite precise and useful. a *A preliminary version of this  ...  for SB-Prolog; projgeom, a program due to William Older; peephole, the peephole optimizer used in SB-Prolog; preprocess, a source-level preprocessor used in the SB-Prolog compiler; queens, a  ... 
doi:10.1016/0743-1066(92)90053-6 fatcat:6tqrbunei5apln74ve3k6k25dm
« Previous Showing results 1 — 15 out of 1,143 results