GOLOG
GOLOG is a high-level logic programming language for the specification and execution of complex actions in dynamical domains. It is based on the situation calculus. It is a first-order logical language for reasoning about action and change. GOLOG was developed at the University of Toronto.
| Paradigm | logic programming |
|---|---|
| First appeared | 1994 |
| Filename extensions | .pl |
| Major implementations | |
| golog.lua, IndiGolog | |
| Influenced by | |
| Prolog | |
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.