逻辑程序设计语言,PROLOG,在线英语词典,英文翻译,专业英语

1) PROLOG

逻辑程序设计语言

2) visual prolog

可视化逻辑程序设计语言

3) DFL programming language

动态模糊逻辑程序设计语言

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的监督命令程序结构,通过结构化操作语义描述方法从软件理论方面进行研究,提出了动态模糊逻辑程序设计语言(DFL Programming Language)的操作语义模型,以期形成解决动态模糊性问题的程序设计方法。

4) logic

逻辑

Training of Student s Logic Thinking daring the Clinical Nursing Teaching;

临床护理教学中学生逻辑思维能力培养

Problems and solution for reclosing logic circuit of the microcomputer-based protection;

微机保护重合闸逻辑中存在的问题及解决办法

5) logics

逻辑

Survey of Medium Logics and Medium Axiom Set Theory;

中介逻辑与中介公理集合论的综述

According to the staff career development and professional qualification 3 stages of the human failure evolution ,viz,cognition,logics and emotion are defined.

通过对核电厂的人因失效探讨与分析,结合工作人员的职业生涯与专业资历,定义并划分了人因失效的认知、逻辑及情绪3个发展阶段,从宏观和微观的管理角度提出相应的人因失效防范管理措施。

6) logic AND

逻辑AND

参考词条

逻辑分析逻辑推演逻辑约束逻辑学逻辑思维资本逻辑声波逻辑逻辑流图逻辑图逻辑力学逻辑链共享信息空间对策方法

补充资料：逻辑式程序设计语言

逻辑式程序设计语言
logic programming language

luojish一ehengxu Shel一yuyan逻辑式程序设计语言(l硒cp刊卿限mminglanguage)用于逻辑式程序设计的语言。又称逻辑程序设计语言。组成逻辑程序的语句的基本形式是日劝rll子句，其形式为A if Bl and BZ and…and Bn其中A是原子公式作为结论，零个或多个原子公式的合取作为条件。若其中任一Bi(1簇i(n)要么是原子公式，要么是原子公式的否定，则称为规范形式。若其中Bi(1毛i镇n)可以是任意一阶逻辑公式，则称为一般形式的子句。J.W.F】oyd和R.W.产r巾)r已经指明任意一般形式的逻辑子句均可转化为规范形式子句。逻辑程序设计语言有:①顺序逻辑程序设计语言;②并行逻辑程序设计语言;③约束逻辑程序设计语言。顺序逻辑程序设计语言的代表是PRO-LOC语言。Prol呢一个显著的特点是其执行过程有明显的顺序性:子目标Bi(1毛i毛n)执行顺序是从左向右，选择适用子句的次序是从上向下，搜索策略是深度优先。在单中央处理器(CPU)计算机上，顺序逻辑程序设计语言有较高的执行效率，缺点是求解机制不够完备。并行逻辑程序设计语言的典型代表有K.LClark提出的PA]圈工暇语言。其特点是并行执行所有与目标Bi(1蕊i毛n)，并且对于所有满足条件的子句要进行选择提交。推理过程中，一直向前，没有回溯，此语言在多CPU机和多机环境下具有较高执行效率和并发通信能力。约束逻辑程序设计语言(CLP)是在顺序或并行逻辑程序设计语言中增加一些特殊原语和推理方法而形成的溉言。在逻辑程序执行过程中，这些原语可以自动被延迟或被调用，以便多模式地求解问题。例如求解简单方程的原语，可求解方程X=Y十4，如X，Y未例化，则该方程被延迟，一旦X，Y中有一个被例化，则X=Y+4立即被求解。典型的约束逻辑程序设计语言有PR()L(刃111，Ch币，口尹(R)等。对某些应用，比如涉及方程求解的搜索问题时，通过大量方程的求解，可删除不必要的搜索空间，从而大大提高问题的求解速度。

说明：补充资料仅用于学习参考，请勿用于其它任何用途。

首页 \| 翻译 \| 影视 \| 论坛 \| 索引逻辑和非逻辑逻辑与旧逻辑模糊逻辑逻辑控制逻辑关系负逻辑

1) PROLOG 逻辑程序设计语言 2) visual prolog 可视化逻辑程序设计语言 3) DFL programming language 动态模糊逻辑程序设计语言 1. 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的监督命令程序结构,通过结构化操作语义描述方法从软件理论方面进行研究,提出了动态模糊逻辑程序设计语言(DFL Programming Language)的操作语义模型,以期形成解决动态模糊性问题的程序设计方法。 4) logic 逻辑 1. Training of Student s Logic Thinking daring the Clinical Nursing Teaching; 临床护理教学中学生逻辑思维能力培养 2. Problems and solution for reclosing logic circuit of the microcomputer-based protection; 微机保护重合闸逻辑中存在的问题及解决办法 5) logics 逻辑 1. Survey of Medium Logics and Medium Axiom Set Theory; 中介逻辑与中介公理集合论的综述 2. According to the staff career development and professional qualification 3 stages of the human failure evolution ,viz,cognition,logics and emotion are defined. 通过对核电厂的人因失效探讨与分析,结合工作人员的职业生涯与专业资历,定义并划分了人因失效的认知、逻辑及情绪3个发展阶段,从宏观和微观的管理角度提出相应的人因失效防范管理措施。 6) logic AND 逻辑AND 参考词条逻辑分析逻辑推演逻辑约束逻辑学逻辑思维资本逻辑声波逻辑逻辑流图逻辑图逻辑力学逻辑链共享信息空间对策方法补充资料：逻辑式程序设计语言逻辑式程序设计语言 logic programming language luojish一ehengxu Shel一yuyan逻辑式程序设计语言(l硒cp刊卿限mminglanguage)用于逻辑式程序设计的语言。又称逻辑程序设计语言。组成逻辑程序的语句的基本形式是日劝rll子句，其形式为A if Bl and BZ and…and Bn其中A是原子公式作为结论，零个或多个原子公式的合取作为条件。若其中任一Bi(1簇i(n)要么是原子公式，要么是原子公式的否定，则称为规范形式。若其中Bi(1毛i镇n)可以是任意一阶逻辑公式，则称为一般形式的子句。J.W.F】oyd和R.W.产r巾)r已经指明任意一般形式的逻辑子句均可转化为规范形式子句。逻辑程序设计语言有:①顺序逻辑程序设计语言;②并行逻辑程序设计语言;③约束逻辑程序设计语言。顺序逻辑程序设计语言的代表是PRO-LOC语言。Prol呢一个显著的特点是其执行过程有明显的顺序性:子目标Bi(1毛i毛n)执行顺序是从左向右，选择适用子句的次序是从上向下，搜索策略是深度优先。在单中央处理器(CPU)计算机上，顺序逻辑程序设计语言有较高的执行效率，缺点是求解机制不够完备。并行逻辑程序设计语言的典型代表有K.LClark提出的PA]圈工暇语言。其特点是并行执行所有与目标Bi(1蕊i毛n)，并且对于所有满足条件的子句要进行选择提交。推理过程中，一直向前，没有回溯，此语言在多CPU机和多机环境下具有较高执行效率和并发通信能力。约束逻辑程序设计语言(CLP)是在顺序或并行逻辑程序设计语言中增加一些特殊原语和推理方法而形成的溉言。在逻辑程序执行过程中，这些原语可以自动被延迟或被调用，以便多模式地求解问题。例如求解简单方程的原语，可求解方程X=Y十4，如X，Y未例化，则该方程被延迟，一旦X，Y中有一个被例化，则X=Y+4立即被求解。典型的约束逻辑程序设计语言有PR()L(刃111，Ch币，口尹(R)等。对某些应用，比如涉及方程求解的搜索问题时，通过大量方程的求解，可删除不必要的搜索空间，从而大大提高问题的求解速度。说明：补充资料仅用于学习参考，请勿用于其它任何用途。
©2008 dictall.com