zlacker
[parent]
[thread]
0 comments
1. agumon+(OP)
[view]
[source]
2024-10-13 18:35:52
Reminds me that Warren made a talk about prolog term domains to study resolution over infinite branches.
[go to top]