逻辑型

逻辑型语言((logic language)支持用逻辑型程序设计(参见"逻辑型程序设计")方法求解问题的语言工具.典型的逻辑型语言是PROLOG.它以一阶谓词逻辑的horn子句为语法... 详情>>

2个收藏  发贴时间：2022年6月6日首先申请一个局部变量(A)类型为:逻辑型,编写代码为:A=1 2,那么输出的结果应为假,因等于1是赋值与1,然后代码中写道1大...blog.csdn.net