YAS directory languages/BIPL/Prolog/small-step
GitHub
https://github.com/softlang/yas/tree/master/languages/BIPL/Prolog/small-step
Properties
None
Components
- languages/BIPL/Prolog/small-step/closure.pro (Logic program)
- languages/BIPL/Prolog/small-step/normal.pro (Logic program)
- languages/BIPL/Prolog/small-step/step.pro (Logic program)
- languages/BIPL/Prolog/small-step/.ueber (Megamodel)