北京市自然科学基金委员会的资助:本书共分Prolog语言、互逆主义逻辑、Super-Prolog语言三部分,共十二章内容进行阐述。大部分章节后面均附有习题。

提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。