YAS directory languages/EFPL/Prolog/big-step
GitHub
https://github.com/softlang/yas/tree/master/languages/EFPL/Prolog/big-step
Properties
None
Components
- languages/EFPL/Prolog/big-step/evaluate.pro (Logic program)
- languages/EFPL/Prolog/big-step/.ueber (Megamodel)