t_wの輪郭

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