Note: This page is still under construction.
This section describes the TreadMarks(tm) and Distributed Implementation of Backtracking (DIB) emulators that run on top of Unify. These emulators allow programs written for TreadMarks and DIB, respectively, to be executed on Unify with little or no code modifications.
The TreadMarks emulator takes an application written with TreadMarks primitives and converts the application into code with related Unify primitives. The converted code can then be linked with the Unify library and execute as a Unify application.
DIB Emulator
The DIB emulator will similarly take a DIB application and include the required Unify primitives for the application to run on Unify.