precept.dsl

<-

macro

(<- fact-binding form)

Binds the result of form to fact-binding

entities

macro

(entities es)

Generates rules and facts as indicated by *

entity

macro

(entity e)

Accumulates all facts for entity with eid e