C# Class Prolog.LogicVariable

Inheritance: Prolog.AlphaConvertibleTerm
Mostrar archivo 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