t_wの輪郭

あれ

SLD

2024/3/17 3:04:00
SLD導出

SLD導出

2024/3/17 3:02:00

Selective Linear resolution for Definite clause