YAS directory languages/BIPL/Prolog/big-step

GitHub

https://github.com/softlang/yas/tree/master/languages/BIPL/Prolog/big-step

---

Properties

None

---

Components

• languages/BIPL/Prolog/big-step/evaluate.pro (Logic program)
• languages/BIPL/Prolog/big-step/execute.pro (Logic program)
• languages/BIPL/Prolog/big-step/.ueber (Megamodel)

---