C# Class Prolog.KnowledgeBaseRule

Inheritance: Prolog.KnowledgeBaseEntry

Mostrar archivo Open project: ianhorswill/UnityProlog Class Usage Examples

Private Properties

Property	Type	Description
FindVariables	void
MakeRule	KnowledgeBaseRule
PrintWarning	void
UnwindCommaExpression	void

Public Methods

Method	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

Protected Methods

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

Private Methods

Method	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 method

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
return	KnowledgeBaseRule

KnowledgeBaseRule() protected method

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
return	System

Prematch() public method

public Prematch ( Prolog.PredicateArgumentIndexer argIndexers ) : bool
argIndexers	Prolog.PredicateArgumentIndexer
return	bool

ToString() public method

public ToString ( ) : string
return	string