C# 클래스 Prolog.PredicateInfo

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

공개 메소드들

메소드 설명
Assert ( KnowledgeBaseRule assertion, bool atEnd ) : void

Adds a KnowledgeBaseRule to the predicate. NOT THREADSAFE!
Compile ( ) : void

Byte compiles all the rules in this predicate.
Disassemble ( ) : void

Prints to the console the disassembled bytecode for all rules in this predicate.
FindClauses ( Structure head, object body ) : IEnumerable
PredicateInfo ( Symbol functorName, int arity, KnowledgeBase kb ) : System

Creates a blank DB entry for the specified functor
Retract ( Structure head, object body ) : IEnumerable
RetractAll ( Structure head ) : void
ToString ( ) : string

비공개 메소드들

메소드 설명
GetEntriesListForUpdate ( ) : List
Prove ( object args, PrologContext context ) : IEnumerable
StackCall ( PrologContext context ) : IEnumerable
TestClausesInOrder ( object args, PrologContext context, ushort myFrame ) : IEnumerable

Tests clauses in the order they appear in the database.
TestCompiledClauses ( PrologContext context ) : IEnumerable
TestShuffledClauses ( object args, PrologContext context, ushort myFrame ) : IEnumerable

Tests clauses in a randomized order (but still exhaustively). Uses Shuffler to generate a random permutation.

메소드 상세

Assert() 공개 메소드

Adds a KnowledgeBaseRule to the predicate. NOT THREADSAFE!
public Assert ( KnowledgeBaseRule assertion, bool atEnd ) : void
assertion KnowledgeBaseRule The rule to add
atEnd bool If true, adds to be beginning, else the end.
리턴 void

Compile() 공개 메소드

Byte compiles all the rules in this predicate.
public Compile ( ) : void
리턴 void

Disassemble() 공개 메소드

Prints to the console the disassembled bytecode for all rules in this predicate.
public Disassemble ( ) : void
리턴 void

FindClauses() 공개 메소드

public FindClauses ( Structure head, object body ) : IEnumerable
head Structure
body object
리턴 IEnumerable

PredicateInfo() 공개 메소드

Creates a blank DB entry for the specified functor
public PredicateInfo ( Symbol functorName, int arity, KnowledgeBase kb ) : System
functorName Symbol
arity int
kb KnowledgeBase
리턴 System

Retract() 공개 메소드

public Retract ( Structure head, object body ) : IEnumerable
head Structure
body object
리턴 IEnumerable

RetractAll() 공개 메소드

public RetractAll ( Structure head ) : void
head Structure
리턴 void

ToString() 공개 메소드

public ToString ( ) : string
리턴 string