org.jpc.util.engine.supported

Class Xsb

java.lang.Object

org.jpc.util.engine.supported.EngineDescription

org.jpc.util.engine.supported.Xsb

public class Xsb
extends EngineDescription

Field Summary

Fields

Modifier and Type	Field and Description
static String	XSB
static String	XSB_BIN_DIRECTORY_PROPERTY_NAME
static String	XSB_DIALECT

Constructor Summary

Constructors

Constructor and Description
Xsb()

Method Summary

Modifier and Type	Method and Description
String	getDescription()
String	getDialect()
String	getExecutableFileName()
String	getLicenseUrl()
String	getName()
String	getSiteUrl()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

XSB

public static final String XSB

See Also:

Constant Field Values

XSB_DIALECT

public static final String XSB_DIALECT

XSB_BIN_DIRECTORY_PROPERTY_NAME

public static final String XSB_BIN_DIRECTORY_PROPERTY_NAME

See Also:

Constant Field Values

Constructor Detail

Xsb

public Xsb()

Method Detail

getName

public String getName()

Specified by:

getName in class EngineDescription

getDialect

public String getDialect()

Specified by:

getDialect in class EngineDescription

Returns:

the dialect as answered by the query "prolog_flag(dialect, Dialect)".

getExecutableFileName

public String getExecutableFileName()

getDescription

public String getDescription()

Specified by:

getDescription in class EngineDescription

getLicenseUrl

public String getLicenseUrl()

Specified by:

getLicenseUrl in class EngineDescription

getSiteUrl

public String getSiteUrl()

Specified by:

getSiteUrl in class EngineDescription