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