|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectse.sics.jasper.PrologEngine
public class PrologEngine
This code is unsupported and unfinished. It is provided "as is" for
demontration purposes only. The supported interface between Java
and SICStus is the SICStus
class and related classes.
SICStus
Constructor Summary | |
---|---|
PrologEngine(java.lang.String[] cmdarray)
Deprecated. Starts a new Prolog process on the local machine |
|
PrologEngine(java.lang.String machine,
int portNum)
Deprecated. Connect to a running Prolog process on 'machine:portNum'. |
Method Summary | |
---|---|
static int |
cbTestMethod(int x,
double y)
Deprecated. |
static java.lang.Object |
cbTestMethod(java.lang.Integer obj,
int x,
double y)
Deprecated. |
boolean |
compile(java.lang.String filename)
Deprecated. Instruct the Prolog engine to compile a file. |
boolean |
consult(java.lang.String filename)
Deprecated. Instruct the Prolog engine to consult a file. |
protected void |
finalize()
Deprecated. |
static java.lang.String |
getNextLine(java.io.BufferedReader reader)
Deprecated. Returns next non-empty line from 'reader' which does not start with '#'. |
void |
halt()
Deprecated. |
static void |
main(java.lang.String[] argv)
Deprecated. |
boolean |
query(java.lang.Object[] querySpec)
Deprecated. Ask a Prolog query given an array of Java objects. |
boolean |
query(java.lang.String query)
Deprecated. Ask a query to the Prolog engine |
boolean |
restore(java.lang.String filename)
Deprecated. Instruct the Prolog engine to restore a saved state. |
static void |
writeLine(java.io.BufferedWriter writer,
java.lang.String str)
Deprecated. Writes a string to a BufferedWriter, adds a newline and flushes the stream |
Methods inherited from class java.lang.Object |
---|
clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public PrologEngine(java.lang.String[] cmdarray) throws java.io.IOException, ConnectionFailedException, PrologException
java.io.IOException
ConnectionFailedException
PrologException
public PrologEngine(java.lang.String machine, int portNum) throws java.io.IOException, ConnectionFailedException, PrologException
java.io.IOException
ConnectionFailedException
PrologException
Method Detail |
---|
public static int cbTestMethod(int x, double y)
public static java.lang.Object cbTestMethod(java.lang.Integer obj, int x, double y)
public static java.lang.String getNextLine(java.io.BufferedReader reader) throws java.io.IOException
java.io.IOException
public static void writeLine(java.io.BufferedWriter writer, java.lang.String str) throws java.io.IOException
java.io.IOException
protected void finalize() throws java.io.IOException, java.lang.InterruptedException
finalize
in class java.lang.Object
java.io.IOException
java.lang.InterruptedException
public void halt() throws java.io.IOException, java.lang.InterruptedException
java.io.IOException
java.lang.InterruptedException
public boolean query(java.lang.String query) throws java.io.IOException, PrologException
java.io.IOException
PrologException
public boolean query(java.lang.Object[] querySpec) throws java.io.IOException, PrologException
java.io.IOException
PrologException
public boolean consult(java.lang.String filename) throws java.io.IOException, PrologException
java.io.IOException
PrologException
public boolean compile(java.lang.String filename) throws java.io.IOException, PrologException
java.io.IOException
PrologException
public boolean restore(java.lang.String filename) throws java.io.IOException, PrologException
java.io.IOException
PrologException
public static void main(java.lang.String[] argv)
|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |