NAME

Logic::Relational::Goal::Is - Evaluates arithmetic expressions and unifies results.