{"id":25868612,"url":"https://github.com/schwering/golog","last_synced_at":"2025-10-16T04:01:51.722Z","repository":{"id":7972026,"uuid":"9372969","full_name":"schwering/golog","owner":"schwering","description":"Plan recognition system based on the situation calculus and action language Golog, written in Haskell","archived":false,"fork":false,"pushed_at":"2021-06-22T11:12:22.000Z","size":5008,"stargazers_count":6,"open_issues_count":0,"forks_count":3,"subscribers_count":2,"default_branch":"master","last_synced_at":"2023-03-11T08:26:36.976Z","etag":null,"topics":["action-language","functional-programming","golog","haskell","logic-programming","plan-recognition","situation-calculus"],"latest_commit_sha":null,"homepage":"","language":"Haskell","has_issues":false,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/schwering.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2013-04-11T15:00:42.000Z","updated_at":"2023-02-13T16:30:10.000Z","dependencies_parsed_at":"2022-07-19T14:39:47.937Z","dependency_job_id":null,"html_url":"https://github.com/schwering/golog","commit_stats":null,"previous_names":[],"tags_count":0,"template":null,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/schwering%2Fgolog","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/schwering%2Fgolog/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/schwering%2Fgolog/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/schwering%2Fgolog/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/schwering","download_url":"https://codeload.github.com/schwering/golog/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":241460062,"owners_count":19966516,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["action-language","functional-programming","golog","haskell","logic-programming","plan-recognition","situation-calculus"],"created_at":"2025-03-02T04:39:12.127Z","updated_at":"2025-10-16T04:01:46.689Z","avatar_url":"https://github.com/schwering.png","language":"Haskell","funding_links":[],"categories":[],"sub_categories":[],"readme":"Golog in Haskell and a few Aplications\n======================================\n\nThis is a Golog interpreter written in Haskell and applications of it.\n[Golog](http://www.cs.toronto.edu/cogrobo/main/) is an action language based on\nthe [situation calculus](http://en.wikipedia.org/wiki/Situation_calculus).\nThere are many dialects of Golog; this is one of them.\n\n* The [Golog interpreter code](golog/).\n* A few [toy examples](golog-examples/) are available.\n* A [plan recognition system](plan-recog/), particularly for automotive traffic.\n  We model the world with a situation calculus theory and define Golog programs\n  which represent typical behavior. The plan recognition system then simulates\n  execution of these Golog programs and compares the effects of this simulation\n  with observations of the real world.\n  [Check out these slides for an overview how it works.](http://schwering.github.io/commonsense-2013-slides/)\n* An [agent for a racing car](torcs-agent/).\n  The car is controlled by Golog programs and Basic Action Theories.\n  This work is at a very early stage.\n\nContact: [Christoph Schwering](https://schwering.github.io)\n(schwering at gmail dot com).\n\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fschwering%2Fgolog","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fschwering%2Fgolog","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fschwering%2Fgolog/lists"}