#

golog

Here are 2 public repositories matching this topic...

MASKOR / readylog

A GOLOG dialect for high-level agent programming in dynamic and real-time domains

ai robotics actions planning logic-programming golog sensing

Updated Oct 15, 2020
Prolog

jens-classen / vergo

Vergo: A Verification System for GOLOG Programs

verification model-checking golog situation-calculus

Updated Nov 12, 2024
Prolog

Improve this page

Add a description, image, and links to the golog topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the golog topic, visit your repo's landing page and select "manage topics."