YAS directory languages/BTL/Prolog

GitHub

https://github.com/softlang/yas/tree/master/languages/BTL/Prolog

---

Properties

None

---

Components

• languages/BTL/Prolog/btlBigstep.pro (Logic program)
• languages/BTL/Prolog/btlClosure.pro (Logic program)
• languages/BTL/Prolog/btlSmallstep.pro (Logic program)
• languages/BTL/Prolog/btlSyntax.pro (Logic program)
• languages/BTL/Prolog/btlTyping.pro (Logic program)
• languages/BTL/Prolog/btlValues.pro (Logic program)
• languages/BTL/Prolog/.ueber (Megamodel)

---