NAL Rules

Procedural

operation deduction (forward)

(&/,a,op())!
event a.
|- ded
event op()!

is used for deriving ops for goal driven behaviour

goal deduction (backward)

a!
(&/, x, y) =/> a.
|- ded
(&/, x, y)!

structural deducation (forward/backward)

(&/, a, b)!
|- structural ded, desire ded
a!

is used to derive goals

revision