tarau.jinni
Class Init

java.lang.Object
  |
  +--tarau.jinni.Init

public class Init

extends java.lang.Object

Initializes Jinni. Sets up shared data areas. Ensures that lib.class, obtained from lib.pro->lib.java is loaded.

Field Summary

static Builtins	builtinDict
static DataBase	default_db
static int	version

Constructor Summary

Init()

Method Summary

static java.lang.String	askJinni(java.lang.String query) Asks Jinni a String query and gets back a string Answer of the form "the('[]'(VarsOfQuery))" containing a binding of the variables or the first solution to the query or "no" if no such solution exists
static Term	askJinni(Term Goal) Asks Jinni a query Goal and returns the first solution of the form "the(Answer)" , where Answer is an instance of Goal or the constant "no" if no solution exists
static Term	askJinni(Term Answer, Term Body) Asks Jinni a query Answer, Goal and returns the first solution of the form "the(Answer)" or the constant "no" if no solution exists
static void	evalGoal(Clause Goal) evalutes a query
(package private) static Clause	getGoal() reads a query from input strea
static Clause	getGoal(java.lang.String line)
static java.lang.String	getInfo()
(package private) static boolean	moreAnswers(int i)
static void	run_query(java.lang.String query)
static boolean	run(java.lang.String[] args)
static void	standardTop() (almost) standard Prolog-like toplevel in Java (will) print out variables and values
static void	standardTop(java.lang.String prompt)
static boolean	startJinni() Initialises key data areas.
static void	timeGoal(Clause Goal) evaluates and times a Goal querying program P

Methods inherited from class java.lang.Object

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

Field Detail

version

public static final int version

default_db

public static DataBase default_db

builtinDict

public static Builtins builtinDict

Constructor Detail

Init

public Init()

Method Detail

getInfo

public static final java.lang.String getInfo()

getGoal

public static Clause getGoal(java.lang.String line)

run_query

public static void run_query(java.lang.String query)

getGoal

static Clause getGoal()

reads a query from input strea

evalGoal

public static void evalGoal(Clause Goal)

evalutes a query

moreAnswers

static boolean moreAnswers(int i)

timeGoal

public static void timeGoal(Clause Goal)

evaluates and times a Goal querying program P

standardTop

public static void standardTop()

(almost) standard Prolog-like toplevel in Java (will) print out variables and values

standardTop

public static void standardTop(java.lang.String prompt)

askJinni

public static Term askJinni(Term Answer,
                            Term Body)

Asks Jinni a query Answer, Goal and returns the first solution of the form "the(Answer)" or the constant "no" if no solution exists

askJinni

public static Term askJinni(Term Goal)

Asks Jinni a query Goal and returns the first solution of the form "the(Answer)" , where Answer is an instance of Goal or the constant "no" if no solution exists

askJinni

public static java.lang.String askJinni(java.lang.String query)

Asks Jinni a String query and gets back a string Answer of the form "the('[]'(VarsOfQuery))" containing a binding of the variables or the first solution to the query or "no" if no such solution exists

run

public static boolean run(java.lang.String[] args)

startJinni

public static final boolean startJinni()

Initialises key data areas. Runs a first query, which, if suceeeds a true, otherwise false is returned