This project gives a simple translation of a fragment of the situation calculus into ErgoAI. It is based on a Prolog Golog interpreter originally developed at the University of Toronto.
This repo contains a driver program for loading into ErgoAI, the situation calculus program itself and an example translated from Reiter's Knowledge in Action, 2001, p. 104.
Please cite this repository as
@misc{
author = {Robert P. Goldman},
title = {Situation Calculus in ErgoAI},
year = {2026},
publisher = {SIFT, LLC},
howpublished = {GitHub repository},
url = {https://github.com/siftech/sitcalc-ergoai}
}