We identify a number of issues, caused by miniKanren peculiarities, and describe a novel approach to specialization based on partial ...
確定! 回上一頁