#8 partial atomic

[Jomi Fred Hubner]

allows part of a plan to be executed atomically (not all the intention as does the current annotation)

currently, in

@p[atomic]
+!g <- ... !g2.
+!g2 <- ...

all the boy of g and its sub-goals (g2) runs atomically.

It could be interesting to have (supposing {{ }} enclose atomic execution):

+!g <- ... {{ ... }} .... !g2.
+!g2 <- ...

where only the actions enclosed by {{ }} are atomic.

[Jomi Fred Hubner]

Some problems that require partial atomic may be solved by locks.
See http://jason.wiki.sourceforge.net/concurrency