Information Services banner Edinburgh Research Archive The University of Edinburgh crest

Edinburgh Research Archive >
Informatics, School of >
Informatics Publications >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1842/4679

This item has been viewed 12 times in the last year. View Statistics

Files in This Item:

File Description SizeFormat
BundyA_The Use of Prolog.pdf1.35 MBAdobe PDFView/Open
Title: The Use of Prolog for Improving the Rigour and Accessibility of Ecological Modelling
Authors: Bundy, Alan
Muetzelfeldt, R.
Robertson, D.
Uschold, M.
Issue Date: Jul-1989
Journal Title: Ecological Modelling
Volume: 46
Issue: 1-2
Page Numbers: 9-34
Publisher: Elsevier
Abstract: We introduce three concepts that offer considerable benefit to the process of ecological modelling: the descriptive representation of models; the explicit representation of knowledge about how to model; and the development of knowledge-based systems that can help ecologists construct models. Prolog, a computer language based on formal logic, has much to offer in realising these ideas. We introduce the concept of a ‘model blueprint’, a complete, formal specification of the structure of a model, and show how a blueprint can be represented as a Prolog program, basing our analysis on system dynamics models for simplicity. We consider ways in which the Prolog interpreter can be used selectively to retrieve information about the model, to check for errors in the formulation of the model, and to evaluate the model mathematically. However, there are drawbacks with this approach, so we discuss ways of overcoming these by implementing - also in Prolog - programs which buffer the user from the difficulties of working at the level of the Prolog interpreter. These include the generation of descriptions of model structure, and the development of a program to help in the construction of simulation models.
URI: http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B6VBS-49156R3-66&_user=809099&_coverDate=07/31/1989&_rdoc=1&_fmt=high&_orig=search&_origin=search&_sort=d&_docanchor=&view=c&_acct=C000043939&_version=1&_urlVersion=0&_userid=809099&md5=c1ea8e0e7e279a042afe7e09f770b5f0&searchtype=a
http://hdl.handle.net/1842/4679
ISSN: 0304-3800
Appears in Collections:Informatics Publications

Items in ERA are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0! Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh 2013, and/or the original authors. Privacy and Cookies Policy