実行時のメモリ管理方法の検討
カット述語を使うとリリースするが一部不具合(debug015.p)が出ているので少し突っ込んだ方式の検討を行う。 カットに絡んだ引渡し変数に関しての前の不具合対応が不完全だった。 カット時にexecute内で開放を行うのではなく、呼び出し元(first/backtrack)でclone後に開放を行えばOK。 現在変数の受け渡しを、clone/deleteで行っているが、これを上手い具合にスキップできないか要件等。 ただし、単純な実装では、objsの検索が入るので、簡単には解決しない。
カット述語を使うとリリースするが一部不具合(debug015.p)が出ているので少し突っ込んだ方式の検討を行う。 カットに絡んだ引渡し変数に関しての前の不具合対応が不完全だった。 カット時にexecute内で開放を行うのではなく、呼び出し元(first/backtrack)でclone後に開放を行えばOK。 現在変数の受け渡しを、clone/deleteで行っているが、これを上手い具合にスキップできないか要件等。 ただし、単純な実装では、objsの検索が入るので、簡単には解決しない。