Re: [PRD] Issues to resolve before publication (ATOMIC as RULE)

Gary Hallmark wrote:

> consider this ruleset:
> 
> _P(0)
> Forall ?x (_Q(?x) :- _P(?x))
> 
> I claim that this is a Core ruleset, valid in both PRD and BLD, and that 
> in both dialects, _Q(0) is entailed.

Absolutely. No doubt about that.

> Obviously, we want _P(0) to be a ground fact in both dialects.

 From a PRD point of view, we want _P(0) to be a ground fact in w.

In PRD, it represents the action to ASSERT _P(0): it is an ACTION, not 
an ATOMIC.

However, I agree that it makes the XML syntax in PRD and BLD different 
(since BLD does not require that a bodyless ATOMIC be enclosed in an 
<Implies> and a <then> element): what about making

RULE ::= [ Forall | Implies | ASSERT ]?

That way, PRD and BLD would be undistinguishable wrt that case.

Cheers,

Christian