• 홈
• Prolog
• KnowledgeBase

C# 클래스 Prolog.KnowledgeBase

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

공개 프로퍼티들

프로퍼티	타입	설명
ELRoot	ELNode
GameObject	UnityEngine.GameObject
Parent	KnowledgeBase

Private Properties

프로퍼티	타입	설명
CallPrimitive	IEnumerable
CheckForPredicateInfo	PredicateInfo
CheckForPredicateInfoInThisKB	PredicateInfo
CheckForPredicateInfoInThisKB	PredicateInfo
Commafy	Structure
Compile	void
Consult	void
DeclareExternal	void
DeclareHigherOrderArguments	void
DeclarePublic	void
DeclareRandomizable	void
DeclareShadow	void
DeclareTraced	void
DeclareUntraced	void
DefaultExtension	string
Disassemble	void
EntryForStoring	PredicateInfo
EntryListForStoring	List
FindClauses	IEnumerable
Forget	void
GetPredicateInfo	PredicateInfo
IsSourceFile	bool
KnowledgeBase	System
KnowledgeBase	System
KnowledgeBase	System
LoadCSVRow	void
Prove	IEnumerable
ProveFromDB	IEnumerable
Reconsult	void
Reconsult	void
Reconsult	void
ReconsultString	void
ReloadModifiedSourceFiles	void
Retract	IEnumerable
Retract	IEnumerable
SourceFor	string
SourceFromPredicateInfo	void
TermExpansion	object

공개 메소드들

메소드	설명
Assert ( Structure structure, bool atEnd, bool checkSingletons ) : void	Add a term (fact or rule) to the KB.
Assert ( object term, bool atEnd, bool checkSingletons ) : void	Add a term (fact or rule) to the KB.
AssertA ( Structure structure ) : void	Add a term (fact or rule) to the KB.
AssertA ( object term ) : void	Add a term (fact or rule) to the KB.
AssertZ ( Structure structure ) : void	Add a term (fact or rule) to the KB.
AssertZ ( object term ) : void	Add a term (fact or rule) to the KB.
Clear ( ) : void	Erases the complete contents of the KB
Consult ( Stream stream ) : void	Load assertions into the KB
Consult ( string path ) : void	Load assertions into the KB
ConsultString ( string text ) : void	Load assertions into the KB
IsTrue ( object goal, object thisValue = null ) : bool	True if the specified goal is provable within this KnowledgeBase.
Prove ( Structure t ) : IEnumerable	Attempts to prove the specified goal. WARNING: THIS WILL LEAK A PROLOG CONTEXT UNLESS ENUMERATED TO COMPLETION.
RetractAll ( Structure head ) : void	Remove all terms matching head
RetractAll ( object term ) : void	Remove a term from the KB.
SolveFor ( LogicVariable result, object goal, object thisValue, bool throwOnFailure = true ) : object	True if the specified goal is provable within this KnowledgeBase.
ToString ( ) : string
Undefined ( Prolog.PredicateIndicator p ) : bool	True if the specified functor/arity is undefined.

비공개 메소드들

메소드	설명
CallPrimitive ( Symbol functor, Prolog.PrologPrimitives handler, object args, PrologContext context ) : IEnumerable
CheckForPredicateInfo ( Prolog.PredicateIndicator p ) : PredicateInfo
CheckForPredicateInfoInThisKB ( Prolog.PredicateIndicator p ) : PredicateInfo
CheckForPredicateInfoInThisKB ( Symbol functor, int arity ) : PredicateInfo
Commafy ( Structure structures ) : Structure
Compile ( Prolog.PredicateIndicator p ) : void
Consult ( TextReader inStream ) : void
DeclareExternal ( Prolog.PredicateIndicator p ) : void
DeclareHigherOrderArguments ( Prolog.PredicateIndicator p, int arguments ) : void
DeclarePublic ( Prolog.PredicateIndicator p ) : void
DeclareRandomizable ( Prolog.PredicateIndicator p ) : void
DeclareShadow ( Prolog.PredicateIndicator p ) : void
DeclareTraced ( Prolog.PredicateIndicator p ) : void
DeclareUntraced ( Prolog.PredicateIndicator p ) : void
DefaultExtension ( string path, string extension ) : string
Disassemble ( Prolog.PredicateIndicator p ) : void
EntryForStoring ( Prolog.PredicateIndicator p ) : PredicateInfo
EntryListForStoring ( Prolog.PredicateIndicator p ) : List
FindClauses ( Structure head, object body ) : IEnumerable
Forget ( Prolog.PredicateIndicator p ) : void
GetPredicateInfo ( KnowledgeBase kb, Prolog.PredicateIndicator p ) : PredicateInfo
IsSourceFile ( string file ) : bool
KnowledgeBase ( ) : System
KnowledgeBase ( string kbName, GameObject gameObject ) : System
KnowledgeBase ( string kbName, GameObject gameObject, KnowledgeBase parent ) : System
LoadCSVRow ( int rowNumber, Structure row ) : void
Prove ( Symbol functor, object args, PrologContext context, ushort parentFrame ) : IEnumerable	Attempts to prove the specified goal.
ProveFromDB ( Symbol functor, object args, PrologContext context ) : IEnumerable
Reconsult ( Stream stream ) : void
Reconsult ( TextReader inStream ) : void
Reconsult ( string path ) : void
ReconsultString ( string text ) : void
ReloadModifiedSourceFiles ( ) : void
Retract ( Structure head, object body ) : IEnumerable
Retract ( object term ) : IEnumerable
SourceFor ( Prolog.PredicateIndicator p ) : string
SourceFromPredicateInfo ( Prolog.PredicateIndicator p, PredicateInfo predicateInfo, ISOPrologWriter writer ) : void
TermExpansion ( object unexpanded ) : object

메소드 상세

프로퍼티 상세