Please use this identifier to cite or link to this item:
Title: Discrete event simulation in prolog
Authors: Cleary, John
Goh, Kim-Siew
Unger, Brian W
Keywords: Computer Science
Issue Date: 1-Nov-1984
Abstract: A logic programming language for simulation is presented along with several examples of its use. This language uses the same primitives as Concurrent Prolog with the addition of delay expressions in the guards. An advantage of this approach is that Concurrent Prolog programs can be prototyped and debugged via simulation after which the delay expressions can be ignored to produce the final Concurrent Prolog program. Limited backtracking is supported in the initial language interpreter which is written in standard Prolog. This enables alternate paths in a simulation to be explored for acceptable solutions. As in Concurrent Prolog a declarative interpretation of a program is possible. That is, a Concurrent Prolog program can be considered as a set of axioms in first order logic.
Appears in Collections:Cleary, John
Unger, Brian W

Files in This Item:
There are no files associated with this item.

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