t_wの輪郭

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