t_wの輪郭

Feedlyでフォローするボタン
導出後ろ向き推論SLD

SLD導出

2024/3/17 12:02:00

Selective Linear resolution for Definite clause

あれ