逻辑程序设计语言 meaning in English

logic programming language
programming in logic

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 )的操作语义模型,以期形成解决动态模糊性问题的程序设计方法。