C# 클래스 Prolog.KnowledgeBaseRule

상속: Prolog.KnowledgeBaseEntry

파일 보기 프로젝트 열기: ianhorswill/UnityProlog 1 사용 예제들

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