YAS directory languages/EFPL/Prolog

GitHub

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

---

Properties

None

---

Components

• languages/EFPL/Prolog/efplAlpha.pro (Logic program)
• languages/EFPL/Prolog/efplTyping.pro (Logic program)
• languages/EFPL/Prolog/.ueber (Megamodel)

---