t_wの輪郭

論文スタック論理最汎単一化代入mgu仮説論理プログラミング正リテラル失敗による否定アトムエルブラン解釈
『解集合プログラミング』