t_wの輪郭

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