Package | Description |
---|---|
alice.tuprolog |
Modifier and Type | Class and Description |
---|---|
class |
InvalidVarNameException
Deprecated.
Use InvalidTermException with a meaningful message instead.
|
Modifier and Type | Method and Description |
---|---|
static Number |
Number.createNumber(String s) |
static Term |
Term.createTerm(String st)
Static service to create a Term from a string.
|
static Term |
Term.createTerm(String st,
alice.tuprolog.OperatorManager op)
Static service to create a Term from a string, providing an
external operator manager.
|
Term |
Parser.nextTerm(boolean endNeeded)
Parses next term from the stream built on string.
|
static Term |
Term.parse(String st)
Deprecated.
Use
Term.createTerm(String) instead. |
static Term |
Term.parse(String st,
alice.tuprolog.OperatorManager op)
Deprecated.
Use
Term.createTerm(String, OperatorManager) instead. |
static Term |
Parser.parseSingleTerm(String st)
Static service to get a term from its string representation
|
static Term |
Parser.parseSingleTerm(String st,
alice.tuprolog.OperatorManager op)
Static service to get a term from its string representation,
providing a specific operator manager
|
Term |
Prolog.toTerm(String st)
Gets a term from a string, using the operators currently
defined by the engine
|
Constructor and Description |
---|
Var(String n)
Creates a variable identified by a name.
|
Copyright © 2015. All rights reserved.