逻辑程序设计 meaning in English
constraint logic programming
logicai programming
logical programming
programming in logic
Examples
- Logic and inductive logic programming
逻辑与归纳逻辑程序设计 - Inductive logic programming
归纳逻辑程序设计 - This dissertation concentrates on the initial research work in genetic inductive logic programming technique
本论文主要开展了遗传归纳逻辑程序设计技术的初步研究。 - First - order rule mining technique based on first - order logic is often called as inductive logic programming ( ilp )
基于一阶逻辑的一阶规则挖掘技术常被称作归纳逻辑程序设计( ilp ) 。 - Up to now , there has been ten years for the research of dynamic fuzzy logic ( dfl ) and a series of achievements have been made . in order to further expand the applications of dfl , this thesis followed dijkstra ’ s guarded commands and put forward an operational semantics model of dfl programming language which can solve dynamic fuzzy problems
动态模糊逻辑( dfl )的研究已有十年的时间了,目前已取得了一系列研究成果,为了进一步拓展这些研究成果的应用,本文借鉴dijkstra的监督命令程序结构,通过结构化操作语义描述方法从软件理论方面进行研究,提出了动态模糊逻辑程序设计语言( dflprogramminglanguage )的操作语义模型,以期形成解决动态模糊性问题的程序设计方法。