C# Class Prolog.LogicVariable

Inheritance: Prolog.AlphaConvertibleTerm

ファイルを表示 Open project: ianhorswill/UnityProlog Class Usage Examples

Private Properties

Property	Type	Description
AddFrozenGoal	IEnumerable
AddSuspendedGoal	IEnumerable
ForciblyUnbind	void
MetaUnify	IEnumerable
SaveAndUpdate	void
SucceedOnceAndThenUnBind	IEnumerable
UnifyMetaMeta	IEnumerable
UnifyMetaMeta	void
UnifyMetaTerm	IEnumerable
UnifyMetaTerm	void
UnifyMetaVar	IEnumerable
UnifyMetaVar	void
UnifyWithAtomicConstant	IEnumerable
UnifyWithAtomicConstant	bool
UnifyWithCanonicalValue	IEnumerable
UnifyWithCanonicalValue	bool
UnifyWithStructure	IEnumerable
UnifyWithStructure	bool
UnifyWithTerm	IEnumerable
UnifyWithTerm	bool

Public Methods

Method	Description
AddSuspendedGoalSavingToTrail ( Structure goal, PrologContext context ) : void
AlphaConvert ( List oldVars, LogicVariable newVars, PrologContext context, bool evalIndexicals ) : object	All we have to do here is check whether this is one of the variables we're looking for.
LogicVariable ( Symbol name ) : System	Creates a new logic variable
LogicVariable ( string name ) : System	Creates a new logic variable
ToString ( ) : string	The name and UID of the object
Unify ( object value ) : IEnumerable	Attempt to unify the logic variable against the specified value (may be another logic variable or not).
Unify ( object value, PrologContext context ) : bool	Attempt to unify the logic variable against the specified value (may be another logic variable or not).

Private Methods

Method	Description
AddFrozenGoal ( Structure goal, PrologContext context ) : IEnumerable
AddSuspendedGoal ( Structure goal, PrologContext context ) : IEnumerable
ForciblyUnbind ( ) : void
MetaUnify ( Metastructure m ) : IEnumerable
SaveAndUpdate ( object value, PrologContext context ) : void	Saves variable to the trail and updates it.
SucceedOnceAndThenUnBind ( ) : IEnumerable
UnifyMetaMeta ( Metastructure myMetaStructure, Metastructure theirMetaStructure, LogicVariable them ) : IEnumerable
UnifyMetaMeta ( Metastructure myMetaStructure, Metastructure theirMetaStructure, LogicVariable them, PrologContext context ) : void	This is an attributed variable with attribute myMetaStructure, unify it with attributed variable them, with attribute theirMetaStructure.
UnifyMetaTerm ( Metastructure m, object value ) : IEnumerable
UnifyMetaTerm ( Metastructure m, object value, PrologContext context ) : void	This is an attributed variable with attribute m, unify it with value.
UnifyMetaVar ( Metastructure m, LogicVariable l ) : IEnumerable
UnifyMetaVar ( Metastructure m, LogicVariable l, PrologContext context ) : void	This is an atributed variable with metastructure m, unify with unattributed and unbound variable v.
UnifyWithAtomicConstant ( object value ) : IEnumerable
UnifyWithAtomicConstant ( object value, PrologContext context ) : bool
UnifyWithCanonicalValue ( object value ) : IEnumerable
UnifyWithCanonicalValue ( object value, PrologContext context ) : bool
UnifyWithStructure ( Structure value ) : IEnumerable
UnifyWithStructure ( Structure value, PrologContext context ) : bool
UnifyWithTerm ( Term term ) : IEnumerable
UnifyWithTerm ( Term term, PrologContext context ) : bool

Method Details

AddSuspendedGoalSavingToTrail() public method

public AddSuspendedGoalSavingToTrail ( Structure goal, PrologContext context ) : void
goal	Structure
context	PrologContext
return	void

AlphaConvert() public method

All we have to do here is check whether this is one of the variables we're looking for.

public AlphaConvert ( List oldVars, LogicVariable newVars, PrologContext context, bool evalIndexicals ) : object
oldVars	List
newVars	LogicVariable
context	PrologContext
evalIndexicals	bool
return	object

LogicVariable() public method

Creates a new logic variable

public LogicVariable ( Symbol name ) : System
name	Symbol
return	System

LogicVariable() public method

Creates a new logic variable

public LogicVariable ( string name ) : System
name	string	Print name for the variable
return	System

ToString() public method

The name and UID of the object

public ToString ( ) : string
return	string

Unify() public method

Attempt to unify the logic variable against the specified value (may be another logic variable or not).

public Unify ( object value ) : IEnumerable
value	object
return	IEnumerable

Unify() public method

Attempt to unify the logic variable against the specified value (may be another logic variable or not).

public Unify ( object value, PrologContext context ) : bool
value	object
context	PrologContext
return	bool