We first bind head and tail vars for both vars and dens , then we use arithmetic functions from the finite domain namespace of core.logic to ...
確定! 回上一頁