t_wの輪郭
SLD
後ろ向き推論
導出
SLD導出
2024/3/17 3:02:00
Selective Linear resolution for Definite clause
あれ