predicate language

基本解釋

The second part analyzes the formal language of knowledge predicate logic.
分析知道謂詞邏輯的形式語言。
Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch.
謂詞演算語言的傳統(tǒng)的語義組成了數(shù)理邏輯的一個很豐富的分支。
This paper gives a description of the knowledge-based document retrieval system, and makes an introduction to a kind of inquiry language based on predicate.
文中對基于知識的文獻(xiàn)檢索體系進(jìn)行了描述，并介紹了一種基于謂詞的查詢語言以及基于知識的搜索引擎的工作原理。

Brown based the grammar for his ten-thousand-word language, called Loglan, on the rules of formal predicate logic used by analytical philosophers.
NEWYORKER: Utopian for Beginners