...
机译:具有简单组成语义的Prolog的结构化替代方案
LI ACCI Department of Computer Science, Faculty of Sciences. University of Porto. Portugal;
prolog; cut; compositional semantics; denotational semantics;
机译:RFuzzy:Prolog上一个简单而有表现力的模糊工具的语法,语义和实现细节
机译:ClioPatria:用于语义网的SWI-Prolog基础结构
机译:语法如何将不对称引入认知结构:组成语义,隐喻和原理学杂种
机译:术语描述:Prolog数据结构的简单强大的扩展
机译:Ligeti的组成过程早期实验:“ Musica Ricercata”中的简单结构
机译:语法如何将不对称性引入认知结构:成分语义,隐喻和图式混合体
机译:prolog程序的组合操作语义
机译:并发prolog的组合语义