t_wの輪郭

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