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)!

Note: ded must be {f1f2, f1c1c2}, because neg goals and impl with freq=0 shouldn't lead to strong goal

structural deducation (forward/backward)

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

is used to derive goals

revision