t_wの輪郭
後ろ向き
推論
論理プログラム
後ろ向き推論
2024/3/17 12:01:00
SLD導出
SLD
後ろ向き推論
導出
SLD導出
2024/3/17 12:02:00
Selective Linear resolution for Definite clause