2 ms·ConGolog, a concurrent programming language based on the situation calculus [pdf]1 points by nickswalker 5y ago