org.semanticweb.xsb
Interface XSBCoreIntf

All Superinterfaces:

java.rmi.Remote

All Known Implementing Classes:

XSBCore

public interface XSBCoreIntf

extends java.rmi.Remote

Description of the Class

Author:

Administrator

Method Summary

java.lang.String	xsb_answer_string(java.lang.String sep)
int	xsb_assert_fact(Literal fact)
int	xsb_assert_rule(ProgramClause clause)
int	xsb_close_query()
int	xsb_close()
int	xsb_command_string(java.lang.String command)
int	xsb_command_term(Term t)
int	xsb_command()
Term[]	xsb_get_answer_substitution()
int	xsb_init(java.lang.String[] args)
int	xsb_next()
int	xsb_query_java(ProgramClause clause)
int	xsb_query_string(java.lang.String command)
int	xsb_query_term(Term t)
int	xsb_query()
int	xsb_retract_fact(Literal fact)
int	xsb_retract_rule(ProgramClause clause)

Method Detail

xsb_init

public int xsb_init(java.lang.String[] args)
             throws java.rmi.RemoteException

Throws:

java.rmi.RemoteException

xsb_close

public int xsb_close()
              throws java.rmi.RemoteException

Throws:

java.rmi.RemoteException

xsb_command_string

public int xsb_command_string(java.lang.String command)
                       throws java.rmi.RemoteException

Throws:

java.rmi.RemoteException

xsb_command

public int xsb_command()
                throws java.rmi.RemoteException

Throws:

java.rmi.RemoteException

xsb_command_term

public int xsb_command_term(Term t)
                     throws java.rmi.RemoteException

Throws:

java.rmi.RemoteException

xsb_query_string

public int xsb_query_string(java.lang.String command)
                     throws java.rmi.RemoteException

Throws:

java.rmi.RemoteException

xsb_query

public int xsb_query()
              throws java.rmi.RemoteException

Throws:

java.rmi.RemoteException

xsb_query_term

public int xsb_query_term(Term t)
                   throws java.rmi.RemoteException

Throws:

java.rmi.RemoteException

xsb_close_query

public int xsb_close_query()
                    throws java.rmi.RemoteException

Throws:

java.rmi.RemoteException

xsb_answer_string

public java.lang.String xsb_answer_string(java.lang.String sep)
                                   throws java.rmi.RemoteException

Throws:

java.rmi.RemoteException

xsb_next

public int xsb_next()
             throws java.rmi.RemoteException

Throws:

java.rmi.RemoteException

xsb_get_answer_substitution

public Term[] xsb_get_answer_substitution()
                                   throws java.rmi.RemoteException

Throws:

java.rmi.RemoteException

xsb_assert_rule

public int xsb_assert_rule(ProgramClause clause)
                    throws java.rmi.RemoteException

Throws:

java.rmi.RemoteException

xsb_retract_rule

public int xsb_retract_rule(ProgramClause clause)
                     throws java.rmi.RemoteException

Throws:

java.rmi.RemoteException

xsb_assert_fact

public int xsb_assert_fact(Literal fact)
                    throws java.rmi.RemoteException

Throws:

java.rmi.RemoteException

xsb_retract_fact

public int xsb_retract_fact(Literal fact)
                     throws java.rmi.RemoteException

Throws:

java.rmi.RemoteException

xsb_query_java

public int xsb_query_java(ProgramClause clause)
                   throws java.rmi.RemoteException

Throws:

java.rmi.RemoteException