C# Class Prolog.KnowledgeBaseRule

Inheritance: Prolog.KnowledgeBaseEntry

Afficher le fichier Open project: ianhorswill/UnityProlog Class Usage Examples

Private Properties

Свойство	Type	Description
FindVariables	void
MakeRule	KnowledgeBaseRule
PrintWarning	void
UnwindCommaExpression	void

Méthodes publiques

Méthode	Description
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

Méthodes protégées

Méthode	Description
KnowledgeBaseRule ( Structure ruleHead, Structure ruleBody, bool checkSingletons, string source, int line ) : System	Fills in fields given head and body terms.

Private Methods

Méthode	Description
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

Method Details

FromTerm() public static méthode

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
Résultat	KnowledgeBaseRule

KnowledgeBaseRule() protected méthode

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
Résultat	System

Prematch() public méthode

public Prematch ( Prolog.PredicateArgumentIndexer argIndexers ) : bool
argIndexers	Prolog.PredicateArgumentIndexer
Résultat	bool

ToString() public méthode

public ToString ( ) : string
Résultat	string