On 10/11/12 13:37, dew dew wrote:
Thank you for answer, Dave.Once you start using the builtins this is no longer true, because (even ignoring the non-logical builtins like noValue) they include arithmetic so you can write rule sets which don't iterate to a fixed-point.Alright, does it mean that my application with rules and builtins will be sound, but completeness should be proved?
Yes. Dave
