Gary Hallmark wrote: > I like the ability to have ground facts not wrapped in a forall. > I don't like the ability to have free variables (not scoped in a forall) > > To me, a better solution would be have rulesets consist of ground > facts and implications. Implications must be wrapped in a forall and > ground facts must not be wrapped in a forall and must not contain > variables. I share this viewpoint. > Isn't a fact an Implies where the IF-part is always true? I think this should hold. Francois
Received on Thursday, 14 June 2007 07:00:51 UTC