YAS directory languages/BSTL/Prolog
GitHub
https://github.com/softlang/yas/tree/master/languages/BSTL/Prolog
Properties
None
Components
- languages/BSTL/Prolog/bstlSig.pro (Logic program)
- languages/BSTL/Prolog/bstlTerm.pro (Logic program)
- languages/BSTL/Prolog/.ueber (Megamodel)