YAS directory languages/EL/Prolog/qq/rules

GitHub

https://github.com/softlang/yas/tree/master/languages/EL/Prolog/qq/rules

---

Properties

None

---

Components

• languages/EL/Prolog/qq/rules/elqqAssociate.pro (Logic program)
• languages/EL/Prolog/qq/rules/elqqCommute.pro (Logic program)
• languages/EL/Prolog/qq/rules/elqqSimplify.pro (Logic program)
• languages/EL/Prolog/qq/rules/.ueber (Megamodel)

---