There is a tendency that the substantive can be shifted to the predicate in modern Chinese word-class.

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.

This paper discusses the context and syntax of embedded if-questions appearing as arguments of noninterrogative predicates like "admit", ect.

Method of resolution under predicate logic;

Selectivity estimation of predicate is important information of database.

One of the standard ways to handle the state explosion in large systems is to practise the modular supervision of languages or predicates,or of discrete event systems.

Representation of design patterns based on predicate logic;

Theory of quasi-truth degrees of formulas in two-valued predicate logic;

By predicate logic,the solution is set up and the process of analysis is provided.

In this paper,the authors discusses uncertainty in defining topological relationships,relationships between fuzzy regions and fuzzy topological predicates.

Application of predicate Petri net in air-defense C3I expert decision system;