https://github.com/opencog/unify
Atomese expression unifier
https://github.com/opencog/unify
Last synced: 10 months ago
JSON representation
Atomese expression unifier
- Host: GitHub
- URL: https://github.com/opencog/unify
- Owner: opencog
- License: other
- Created: 2022-12-02T18:27:41.000Z (over 3 years ago)
- Default Branch: master
- Last Pushed: 2024-04-02T07:30:26.000Z (about 2 years ago)
- Last Synced: 2024-04-02T08:36:33.653Z (about 2 years ago)
- Language: C++
- Size: 252 KB
- Stars: 1
- Watchers: 7
- Forks: 3
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Unify
opencog | singnet
------- | -------
[](https://circleci.com/gh/opencog/unify) | [](https://circleci.com/gh/singnet/unify)
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](https://wiki.opencog.org/w/AtomSpace) first, see
[Building-and-installing-the-AtomSpace](https://github.com/opencog/atomspace#building-and-installing)
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](examples).
## More info
The primary documentation for the URE is here:
* [URE wiki](https://wiki.opencog.org/w/URE)
* [URE README.md](https://github.com/opencog/ure/README.md)