Thank you, Dave! Best regards, Dew
10.11.2012, 18:08, "Dave Reynolds" <[email protected]>: > 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
