remove parallel package
add unifier for paramodulation
rec-match implemented
equality implemented
fixed a bug related paramodulation-unification
paramodulation implemented
update
add test case
add test case
update
#2 全てのパターンのparamodulantを生成する方法で解決した
change interface
#4 対象となる項に等号の左辺の項が出現している時のみmguを得るようにrec-matchを修正した
#3 前提の式集合に等号が含まれていたら、等号公理を追加する
A=Aとx=xで paramodulation かけ続けて
eliminate-paramod? で無限ループするバグと

:outコマンドつかった時に出る自由変数のバグを修正した
add commit
完備な書き換え系による等式証明の実装
bug fix
fix interface
トレース機能の追加