FRDCSA
Minor
Internal
External
Git
Packages
prgolog-old
Jump To:
Parent Description
This is a [situation calculus][
SitCalc
]- and [
golog
][
golog
]-based
system
written in [Mercury][Mercury].
See this [paper][Paper] or [these slides][Slides] for more information.