4 ms·
Reminds me that Warren made a talk about prolog term domains to study resolution over infinite branches.
by agumonkey 2y ago
Reminds me that Warren made a talk about prolog term domains to study resolution over infinite branches.
loading thread…