Unify
opencog | singnet |
---|---|
Unify, the AtomSpace unifier, is an expression unifier for the AtomSpace. Given two expressions containing variables, it finds all terms that provide groundings for those variables.
It is used as a foundation for the term rewriting engine (the Unified Rule Engine or URE for short) for OpenCog.
Building and Installing
Prerequisites
To build the Unifier you need to build and install the AtomSpace first, see Building-and-installing-the-AtomSpace for more information.
Building Unify
Be sure to install the pre-requisites first! Perform the following steps at the shell prompt:
cd unify
mkdir build
cd build
cmake ..
make -j
Libraries will be built into subdirectories within build, mirroring the structure of the source directory root.
Unit tests
To build and run the unit tests, from the ./build
directory enter
(after building opencog as above):
make -j test
Tests can be run in parallel as well:
make -j test ARGS=-j4
Install
After building, you must install Unify
sudo make install
Examples
Examples can be found in this repository in the examples directory.
More info
The primary documentation for the URE is here: