tomabd.misc.expr_operator Class Reference

Detailed Description

Extract the operator of a logical internal action.

Usage:

• tomabd.misc.expr_operator(a & b, Op): Op unifies with "and".
• tomabd.misc.expr_operator(a | b, Op): Op unifies with "or".
• tomabd.misc.expr_operator(not a, Op): Op unifies with "not".
• tomabd.misc.expr_operator(a & b, Op): Op unifies with "none".