Hi - lovely work on Yield Prolog! :)
We're looking at using it at my company - instead of connecting to a Sicstus Prolog process in a cumbersome way, and doing a lot of time consuming data translations, we'd love to generate our business-logic code in "Yield #" instead and just call it with .Net datatypes.
A problem I've found, though, is that the following case does not work for me:
A = 1+3/4,
B is A.
-It's not that we are likely to need this, but I'd really like to have the system as ISO-Prolog compatible as possible, to avoid differences in results with our "old" Iso-Prolog compatible system, and this seems like a curious omission from the functionality which otherwise has seemed very solid to me.