t_wの輪郭

Selective Linear resolution for Definite clause