C# Класс Prolog.KnowledgeBaseRule

Наследование: Prolog.KnowledgeBaseEntry

Показать файл Открыть проект Примеры использования класса

Private Properties

Свойство	Тип	Описание
FindVariables	void
MakeRule	KnowledgeBaseRule
PrintWarning	void
UnwindCommaExpression	void

Открытые методы

Метод	Описание
FromTerm ( Structure structure, bool checkSingletons, string source, int line ) : KnowledgeBaseRule	Creates a KnowledgedBaseRule given a Term object for a :- expression.
Prematch ( Prolog.PredicateArgumentIndexer argIndexers ) : bool
ToString ( ) : string

Защищенные методы

Метод	Описание
KnowledgeBaseRule ( Structure ruleHead, Structure ruleBody, bool checkSingletons, string source, int line ) : System	Fills in fields given head and body terms.

Приватные методы

Метод	Описание
FindVariables ( object obj, List singletons ) : void
MakeRule ( Structure head, List body, bool checkSingletons, string source, int line ) : KnowledgeBaseRule
PrintWarning ( string formatString ) : void
UnwindCommaExpression ( object subgoal, List body ) : void

Описание методов

FromTerm() публичный статический Метод

Creates a KnowledgedBaseRule given a Term object for a :- expression.

public static FromTerm ( Structure structure, bool checkSingletons, string source, int line ) : KnowledgeBaseRule
structure	Structure
checkSingletons	bool
source	string
line	int
Результат	KnowledgeBaseRule

KnowledgeBaseRule() защищенный Метод

Fills in fields given head and body terms.

protected KnowledgeBaseRule ( Structure ruleHead, Structure ruleBody, bool checkSingletons, string source, int line ) : System
ruleHead	Structure
ruleBody	Structure
checkSingletons	bool
source	string
line	int
Результат	System

Prematch() публичный Метод

public Prematch ( Prolog.PredicateArgumentIndexer argIndexers ) : bool
argIndexers	Prolog.PredicateArgumentIndexer
Результат	bool

ToString() публичный Метод

public ToString ( ) : string
Результат	string