t_wの輪郭

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