[互逆主义逻辑与Super-Prolog语言]·周训伟中国·科技社版

【互逆主义逻辑与Super-Prolog语言】周训伟中国科学技术.pdf互逆主义逻辑与Super-Prolog语言 周训伟著 北京序言 我国正处在实现四个现代化和中华民族伟大复兴的重要历史 时期。科学技术已成为第一生产力。改革开放以来,我国在引进 国外现代科学技术方面取得了长足进展。我国逻辑学的教学、科 研和应用已实现了与国际接轨,特别是将逻辑学应用于计算机和 人工智能领域,实现互动发展,已成为逻辑学应用研究的主攻方 向。尽管现代逻辑经过20世纪百年的发展硕果累累,但还远远不 能满足当代高新科学技术发展的需要。只有不断创新,建构功能 更强的与当代科学技术同构的逻辑系统,才能满足当代科学技术 发展的需要,才能充分发挥逻辑学作为基础科学和工具性科学所 应有的作用。前言 本书共分三篇。第一篇是Prolog语言。这部分内容是作者 基于在北京联合大学计算机系三次讲授Prolog语言的讲稿而形 成的。第-一篇既讲了BPU-PROLOG,又讲了Turbo-Prolog。这样 做的理由是讲述BPU-RPOLOG的书是惟一介绍Prolog如何实现 的书,特别是书中的SLD树对于了解Prolog的消解过程很有帮 助。而Turbo-Prolog是在全世界流行的Prolog版本之一,并且是 其中惟一的编译型Prolog.第二篇是作者所构造的互逆主义逻辑。
———— 文字由OCR识别(未校验)，可能存在错字；请以原始完整版为准。