C# Класс Prolog.Symbol

Наследование: Term

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

Открытые свойства

Свойство	Тип	Описание
ColonColon	Symbol
Minus	Symbol
Text	Symbol

Private Properties

Свойство	Тип	Описание
Intern	Symbol
Symbol	System.Collections.Generic
UnifyWithTerm	IEnumerable
UnifyWithTerm	bool

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

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

Приватные методы

Метод	Описание
Intern ( string name ) : Symbol
Symbol ( string name ) : System.Collections.Generic
UnifyWithTerm ( Term value ) : IEnumerable
UnifyWithTerm ( Term value, PrologContext context ) : bool

Описание методов

IsInterned() публичный статический Метод

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
Результат	bool

ToString() публичный Метод

Prints the name of the symbol.

public ToString ( ) : string
Результат	string

Описание свойств

ColonColon публичное статическое свойство

The Prolog symbol '::'

public static Symbol,Prolog ColonColon
Результат	Symbol

Minus публичное статическое свойство

The Prolog symbol '-'

public static Symbol,Prolog Minus
Результат	Symbol

Text публичное статическое свойство

The Prolog symbol '::'

public static Symbol,Prolog Text
Результат	Symbol