Based on analyzing the relationship between domains of Visual Prolog and data types of C language,calling conventions of predicates and functions are discussed,a way to program with Visual Prolog and Visual C++ is presented,and a code example for this method is demonstrated in detail.
分析了V isual Prolog论域与C数据结构的对应关系以及函数、谓词的调用约定,讨论了V isual Prolog与V isual C++进行混合编程的实现方法,并通过二者相互调用的代码演示了该方法,从而将VC与V isual Prolog的优势有效的结合起来,使智能应用的开发简单而高效。
This paper discusses the context and syntax of embedded if-questions appearing as arguments of noninterrogative predicates like "admit", ect.
谓词对从句补语有语义上的要求。
connective in predicate calculus
谓词演算中的连接词
predicate logic with equality
带同异性的谓词逻辑
atomic formula in predicate calculus
谓词演算中的原子公式
The Study of the Structure "Degree Adverb+VP" Attached by de(的);
“程度副词+谓词性成分”带“的”问题试探
The Etymological Motivation Comparison for Appellation of "Father" in Mongol and Chinese;
蒙、汉语中“父亲”称谓词词源理据比较
The Study of the Structure "Adverb+VP" Attached by de(的);
“副词+谓词性成分”带“的”情况考察
"A" Prefix Family Titles in the Stories of Ghosts;
《聊斋志异》“阿”词头的亲属称谓词
Research on "Pronoun+Appellation" Structure
现代汉语“人称代词+称谓词”研究
A predication consists of argument(s) and predicate.
一个述谓由一个或数个论元和一个谓词组成。
On Selectivity of Subject"I" and Adjective or Verb Predicate in Interrogative Mood;
疑问语气中主语“我”与谓词性谓语的选择性
Cognitive Explanation of Substantive Shift to Predicate in Modern Chinese Word-class;
现代汉语词类活用体词谓词化的认知解释
Positive number for 'above' predicate positioning, negative number for 'below' predicate positioning.
正数表示“高于”谓词位置，负数则表示“低于”谓词位置。
A legitimate expression of the predicate calculus. That is, it is acceptable under the predicate calculus' syntax.
一个合法的谓词演算表达式，即谓词演算语法所允许的公式。
The Variation of Monosyllabic Honji and Hansa as Predicate In Korean and Japanese
试论朝鲜语和日语谓词单音节汉字词的倾向性
The Categories and Adjective Intensification of Predicates in Positive Rhetorical Question;
正反问反问句中谓词的类及其形容词性倾向
play@ is the predicate verb;
“play”为谓语动词；
it takes a plural predicate verb.
但要使用复数谓语动词。
On grammatical bleaching of the evidential and epistemic verbs:from complement-taking predicates to pragmatic markers;
认证义谓宾动词的虚化——从谓宾动词到语用标记