t_wの輪郭

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