YAS directory languages/BFPL/Prolog/small-step

GitHub

https://github.com/softlang/yas/tree/master/languages/BFPL/Prolog/small-step

---

Properties

None

---

Components

• languages/BFPL/Prolog/small-step/closure.pro (Logic program)
• languages/BFPL/Prolog/small-step/normal.pro (Logic program)
• languages/BFPL/Prolog/small-step/op.pro (Logic program)
• languages/BFPL/Prolog/small-step/step.pro (Logic program)
• languages/BFPL/Prolog/small-step/substitution.pro (Logic program)
• languages/BFPL/Prolog/small-step/.ueber (Megamodel)

---