conde is the core.logic way of writing down disjunctions of goals, but it also has a lot to do with cond and branching. The interesting thing ...
確定! 回上一頁