- 双语例句 更多例句
对关于PROLOG的说明性语义和过程性语义之间的关系的观点提出商榷。
互联网摘选
The Explanative and Procedural Semantics of FLL Analysing Prolog from advantage of process
FLL语言的说明性语义与过程性语义依据过程性优势分析Prolog程序语言
互联网摘选
- 相关词组
- tree semantics[计]树状语义学;
- semantics of data[计] 数据语义学;
- world semantics[计] 世界语义学;
- reduction semantics[计]归约语义学;
- interpretative semantics解释语义学
- deterministic semantics[计] 确定性语义学;
- credulous semantics[计]易受骗的语义学;
- lexical semantics词汇语义学;
- fixpoint semantics[计]定点语义学;
- formal semantics形式语义学[程序];
- abstract semantics[计]抽象语义学;
- program semantics程序语义学;
- general semantics普通语义;
- query semantics[计]查询语义学;
- procedural memory[医]程序记忆;
- body semantics体态语义学;手势语义学;
- verb semantics动词语义学;
- language semantics[计]语言语义学;
- dynamic semantics[计]动态语义学;
- fault semantics[计]故障语义学;
- 今日热词
- 热门搜索
- keke 可可
- phenomenon n.现象;杰出的人;
- fountain n.人造喷泉,喷泉水;泉源;液体贮存器,汽水桶,冷饮柜;源头,来源;
- boy friend n.男朋友;
- manufacture vt.制造,生产;捏造,虚构;加工;从事制造;n.大量制造;批量生产;工业品;
- lonely adj.孤独的;寂寞的;偏僻的;
- relieve vt.解除;缓解;换班;(去厕所的一种委婉说法)方便;
- Chin Med J 中华医学杂志英文版;中华医学杂志
- opening n.开幕,开始;空缺的职位;[商]开盘,交易开始时间;(职位的)空缺;adj.首次的,开始的;
- loaf n.一条(面包);v.游荡;
- quarter n. 四分之一;季度;一刻钟;25分硬币;地区;群体;营房;半圆的月相;一节;夸特;慈悲;住处;v.把…分成四等份;为…提供临时住所;
- mick jagger [人名]米克·贾格尔;米克贾格尔;米克-贾格尔;滚石乐队主唱