Programming Language ADP

repayの実装

Cut述語のバグフィックス

!failを再度入れた（パフォーマンスも良好）

またパフォーマンスが下がったのでいったん戻し、ExecContextのリサイクルを入れた。

!failを入れてみた

fix compile error with gcc

一部の関数を分割した

インライン化の徹底（一部インライン関数にしない方が早かった）

getconstant_hを入れてみた。

パフォーマンスを維持しつつCutも早くした。

matchの引数をExecContextRootからExecContextへ戻した

パフォーマンスが落ちていたのを戻した

hstat導入afterunifyはまだ消去していない

match系（Horn節の検索時のunifyを切り離した）の関数を追加
Cut述語のパフォーマンスが悪いがとりあえずコミット

commit忘れ

292の整理でパフォーマンスが下がったのでもと（290）に戻した。

さらに整理した

gcc コンパイルエラー

さらに整理をする

unify系の整理が一通り終わった

仮想関数をテンプレートに渡した。GCCのコンパイル確認の為、コミットする。

unify系のメソッドの整理(1)

若干高速化

すべてのテストが通ったのでコミット

改造中一部バグが残っているがとりあえずコミット

(empty log message)

(empty log message)

debug030 / debug031 のデバッグ途中

なぜか消えてしまったので

277の改修でパフォーマンスが低下したので277の改修をキャンセルし別途修正を加えた。