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 check 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:

• URE wiki
• URE README.md