GitHub - dhia-e-rzig/FwChainingNoConflict: A unification and forward chaining without a conflicts database. Some function names and comments are in French, let me know if you'd like an updated translated version.

Name		Name	Last commit message	Last commit date
.idea		.idea
venv		venv
BF.txt		BF.txt
BR1.txt		BR1.txt
BR2.txt		BR2.txt
Classes.py		Classes.py
expression.py		expression.py
input.txt		input.txt
part1.py		part1.py
part2.py		part2.py
trace.txt		trace.txt
traceUnification.log		traceUnification.log
unification.py		unification.py

About

A unification and forward chaining without a conflicts database. Some function names and comments are in French, let me know if you'd like an updated translated version.

Activity

1 star

0 watching

0 forks

Report repository

Navigation Menu

About

Releases

Packages

Contributors

Languages

Latest commit

History

Folders and files

About

Stars

Watchers

Forks

Releases

Packages

Contributors

Languages