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