Currently, we have a single translation for the sematic category in the language, which translates it into Prolog. This does not always produce a result, going down bad search paths instead.
Another option is to translate the relations directly into Silver. This would require determining whether the relation is syntax-directed, then using that information to produce a set of attribute equations deriving it.
Currently, we have a single translation for the sematic category in the language, which translates it into Prolog. This does not always produce a result, going down bad search paths instead.
Another option is to translate the relations directly into Silver. This would require determining whether the relation is syntax-directed, then using that information to produce a set of attribute equations deriving it.