GitHub topics: action-language
modelint/scrall
Scrall Pseudo-Action Language for Executable UML
Language: Python - Size: 9.58 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 5 - Forks: 0
schwering/golog
Plan recognition system based on the situation calculus and action language Golog, written in Haskell
Language: Haskell - Size: 4.78 MB - Last synced at: 3 months ago - Pushed at: about 4 years ago - Stars: 7 - Forks: 4
gemoc/ale-lang
Action Language for EMF
Language: Java - Size: 9.51 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 8 - Forks: 6
flamingo-lang/flamingo
Logic programming reborn for the web.
Language: Coq - Size: 279 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
schwering/prgolog-old
Plan recognition system based on the situation calculus and Golog written in Mercury.
Language: Matlab - Size: 691 KB - Last synced at: 4 months ago - Pushed at: over 12 years ago - Stars: 1 - Forks: 0