mm-unify

An Efficient Unification Algorithm by Alberto Martelli and Ugo Montanari implementation in C.

Input files are scanned and parsed with bison and flex tools. Memory leaks checked and removed with valgrind.

GPL v2.0 license.

Please contact me if you find it useful for any purpose.

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
.deps		.deps
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
example1.pg		example1.pg
example2.pg		example2.pg
example3.pg		example3.pg
example4.pg		example4.pg
hash.c		hash.c
hash.h		hash.h
list.c		list.c
list.h		list.h
mm-unify.c		mm-unify.c
parser.c		parser.c
parser.h		parser.h
parser.y		parser.y
scanner.h		scanner.h
scanner.l		scanner.l
term.c		term.c
term.h		term.h
test_hash.c		test_hash.c
test_unify.c		test_unify.c
unify.c		unify.c
unify.h		unify.h
unify_term.c		unify_term.c
unify_term.h		unify_term.h

Provide feedback