YAS directory languages/EL/Prolog/rules
GitHub
https://github.com/softlang/yas/tree/master/languages/EL/Prolog/rules
Properties
None
Components
- languages/EL/Prolog/rules/elAssociate.pro (Logic program)
- languages/EL/Prolog/rules/elCommute.pro (Logic program)
- languages/EL/Prolog/rules/elSimplify.pro (Logic program)
- languages/EL/Prolog/rules/.ueber (Megamodel)