C# Class Prolog.Symbol

Inheritance: Term

Mostrar archivo Open project: ianhorswill/UnityProlog Class Usage Examples

Public Properties

Property	Type	Description
ColonColon	Symbol
Minus	Symbol
Text	Symbol

Private Properties

Property	Type	Description
Intern	Symbol
Symbol	System.Collections.Generic
UnifyWithTerm	IEnumerable
UnifyWithTerm	bool

Public Methods

Method	Description
IsInterned ( string name ) : bool	True if the string names a symbol in the symbol table. Does not intern a new symbol.
ToString ( ) : string	Prints the name of the symbol.

Private Methods

Method	Description
Intern ( string name ) : Symbol
Symbol ( string name ) : System.Collections.Generic
UnifyWithTerm ( Term value ) : IEnumerable
UnifyWithTerm ( Term value, PrologContext context ) : bool

Method Details

IsInterned() public static method

True if the string names a symbol in the symbol table. Does not intern a new symbol.

public static IsInterned ( string name ) : bool
name	string	Name of the symbol to search for
return	bool

ToString() public method

Prints the name of the symbol.

public ToString ( ) : string
return	string

Property Details

ColonColon public_oe static_oe property

The Prolog symbol '::'

public static Symbol,Prolog ColonColon
return	Symbol

Minus public_oe static_oe property

The Prolog symbol '-'

public static Symbol,Prolog Minus
return	Symbol

Text public_oe static_oe property

The Prolog symbol '::'

public static Symbol,Prolog Text
return	Symbol