Discrete event simulation in prolog

dc.contributor.authorCleary, Johneng
dc.contributor.authorGoh, Kim-Sieweng
dc.contributor.authorUnger, Brian Weng
dc.date.accessioned2008-02-27T16:55:33Z
dc.date.available2008-02-27T16:55:33Z
dc.date.computerscience1999-05-27eng
dc.date.issued1984-11-01eng
dc.description.abstractA 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.eng
dc.identifier.department1984-171-29eng
dc.identifier.doihttp://dx.doi.org/10.11575/PRISM/30541
dc.identifier.urihttp://hdl.handle.net/1880/45808
dc.language.isoEngeng
dc.publisher.corporateUniversity of Calgaryeng
dc.publisher.facultyScienceeng
dc.subjectComputer Scienceeng
dc.titleDiscrete event simulation in prologeng
dc.typeunknown
thesis.degree.disciplineComputer Scienceeng
Files
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.86 KB
Format:
Plain Text
Description: