GLIDER is a language for simulation of continuous or discrete systems.
|
|
Gloria is an implementation of a logic-based model of an agent, as described by Bob Kowalski in his new book (in html format).
The main component of Gloria is a Prolog program implementing the Fung
and Kowalski's if and only if proof procedure, to process agent's goals
and subgoals, and produce plans with actions for the agent to execute. |
|
|