This thesis describes the implementation of a constraint machine for a parallel inference system, PRISM. PRISM is a logic programming system designed to run ...
確定! 回上一頁