t_wの輪郭
代入
mgu
単一化代入
最汎単一化代入
2026/3/5 13:46:00
most general unifier
『論理コンピューティング』
mgu
最汎単一化代入
most general unifier
2026/3/5 13:47:00
『論理コンピューティング』
未読論文
論理
最汎単一化代入
mgu
失敗による否定
アトム
エルブラン解釈
正リテラル
仮説論理プログラミング
『論理コンピューティング』
2026/2/27 10:40:00
https://www.jstage.jst.go.jp/article/jjsai/23/5/23_677/_pdf/-char/ja
『解集合プログラミング』