通过Prolog进行逻辑编程的简介An Introduction to Logic Programming Through Prolog

【文件属性】：
文件名称：通过Prolog进行逻辑编程的简介An Introduction to Logic Programming Through Prolog
文件大小：143B
文件格式：TXT
更新时间：2022-12-05 12:47:41
计算机科学 介绍逻辑编程，将三个基本组成部分组合在一起：逻辑本身的声明性，编写有效程序所需的编程技术以及计算机对逻辑编程的有效实现。