When called as answer_source(X,G,R), it
builds a new clause and maps it to an AnswerSource
LD-resolution interpreter which will return one answer
at a time of the form "the(X)" using G as initial resolvent
and "no" when no more answers are available.
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
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
gets an arity for any term:
n>0 for f(A1,...,An)
0 for a constant like a
-1 for a variable like X
-2 for an integer like 13
-3 for real like 3.14
-4 for a wrapped JavaObject;
new(ParentContainer,oldText,JavaObject):
initialises a textArea with oldText and returns a handle to it
ARGS:
1=Parent Container
2=initial text content
3=rows
4=cols
5=returned handles
Generic and portable event handling through interfaces
If component implements Runable2 than its run/2 method
will be called by the action event dispatcher.
sets max answer counter for toplevel query
if == 0, it will prompt the user for more answers
if > 0 it will not print more than IO.maxAnswers
if < 0 it will print them out all
creates a ConstBuiltin from a Const known to be registered as
being a builtin while returning its argument unchanged if it
is just a plain Prolog constant with no builtin code attached to it
For a given clause g= A0:-,A1,A2...,An, used as resolvent
iterates over its possible unfoldings (LD-resolution steps)
with clauses of the form B0:-B1,...,Bm in the default database.