The or boolean operator backtracks for both the lhs and the rhs. This means that if the lhs or rhs have multiple ways of assigning a value to a variable, this and operator will be evaluated as many times. Note that variables introduced in the left hand side will NOT be visible in the right hand side. The right hand side is only evaluated if the left hand side is false, which means that no variables have been bound. Also note that both sides of a disjunction are required to introduce exactly the same variables of exactly the same type
@author jurgenv
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.