t_wの輪郭

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