schwering / golog Star 8 Code Issues Pull requests Plan recognition system based on the situation calculus and action language Golog, written in Haskell haskell functional-programming logic-programming golog plan-recognition action-language situation-calculus Updated Jun 22, 2021 Haskell
gemoc / ale-lang Star 8 Code Issues Pull requests Action Language for EMF language behavior emf semantics dsl ecore ale-lang action-language Updated Dec 10, 2021 Java
modelint / scrall Star 5 Code Issues Pull requests Discussions Scrall Pseudo-Action Language for Executable UML mbse action-language executable-uml shlaer-mellor Updated Apr 26, 2026 Python
flamingo-lang / flamingo Star 1 Code Issues Pull requests Logic programming reborn for the web. datalog formal-methods logic-programming action-language Updated Apr 21, 2023 Coq
schwering / prgolog-old Star 1 Code Issues Pull requests Plan recognition system based on the situation calculus and Golog written in Mercury. deprecated logic-programming mercury golog plan-recognition action-language situation-calculus Updated Apr 11, 2013 MATLAB