4) 逻辑程序设计(Logical Programming) 也叫约束程序设计，其强调的是计算的逻辑属性而不是计算的步骤和过程，如Prolog(应用于人工智能)
基于16个网页-相关网页
Digital Circuits and Logical Programming 数字电路与逻辑设计
logical programming language 逻辑式语言
automatic logical programming 逻辑程序自动设计
Inductive Logical Programming 归纳逻辑程序设计
logical level of programming 程序设计逻辑级
PROgramming LOGical 标准语言
The combination of logical programming style with functional programming style within KLND is introduced, and then the strategies for implementing such unification are presented.
介绍了KLND语言中这两种程序设计风格的结合并给出了其实现的策略。
Given the requirements of logical programming, a trinary-tree knowledge representation is proposed in this paper, and a framework of inference procedures based on the representation is given.
本文根据逻辑程序的要求，设计了知识结构的三叉树表示法，并给出了基于这种表示的推理过程的框架。
This paper proposes a formal model of feature interactions based on the semantic of message lists in runtime between the object of service logical programming instance and the network entities.
本文通过对业务在执行过程中，业务逻辑实例与外部实体交互消息的分析，提出一个基于消息序列语义的特征交互形式模型。
应用推荐