Gianluca Amato

変数の共有と線形性を分析して論理プログラミングのパフォーマンスを向上させる。

ユニフォーム代数と、それがPrologや論理プログラミングで果たす役割についての考察。