C# Класс Prolog.PredicateInfo

Показать файл Открыть проект Примеры использования класса

Открытые методы

Метод	Описание
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