Unification and Logic Listing

See Type System for argument compatibility.

Commands:

FACTOR� ��Result is stored in ANSWER.

SIMPLIFY �Result is stored in ANSWER.

SOLVE �Result is stored in ANSWER.

Functions (Arguments in parentheses, return values):

AND (String <expr1>, String <expr2>, ..., String <exprn>)

NOT (String expression)

OR (String <expr1>, String <expr2>, ..., String <exprn>)

REPLACE (VA Boolean) (ST expression) (ST target) (LI conds/subs ...)

SUBSTITUTE (Ex r1) (ex t1) (ex r2) (ex t2)� (ex rk) (ex tk) (Li body)

UNIFY (VA True_or_False) (EX match_query) (EX match_target)

�