YAS directory languages/BFPL/Prolog/denotational
GitHub
https://github.com/softlang/yas/tree/master/languages/BFPL/Prolog/denotational
Properties
None
Components
- languages/BFPL/Prolog/denotational/combinators.pro (Logic program)
- languages/BFPL/Prolog/denotational/expr.pro (Logic program)
- languages/BFPL/Prolog/denotational/op.pro (Logic program)
- languages/BFPL/Prolog/denotational/prog.pro (Logic program)
- languages/BFPL/Prolog/denotational/.ueber (Megamodel)