Tests if this term unifies with that. Bindings are trailed and undone after the test. This should be used with the shared term as this and the new term as that. Synchronization makes sure that side effects on the shared term are not interfering, i.e as in: SHARED.matches(NONSHARED,trail).
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.