boolean function ( final char arg0 , final Term arg1 , final Term arg2 ) { return findSubstitute ( arg0 , arg1 , arg2 , new HashMap < > ( ) , new HashMap < > ( ) ) ; }
check if two terms can be unified concode_field_sep PlaceHolder placeHolder concode_field_sep boolean containVarQuery concode_elem_sep boolean isCommonVariable concode_elem_sep Variable makeCommonVariable concode_elem_sep boolean containVarIndep concode_elem_sep boolean unify concode_elem_sep boolean unify concode_elem_sep boolean containVarDepOrIndep concode_elem_sep boolean indepVarUsedInvalid concode_elem_sep boolean containVar concode_elem_sep boolean containVarDep concode_elem_sep boolean findSubstitute