Docjar: A Java Source and Docuemnt Enginecom.*    java.*    javax.*    org.*    all    new    plug-in

Quick Search    Search Deep

alice.tuprolog.ide.* (13)alice.tuprolog.lib.* (10)alice.tuprolog.runtime.* (34)
alice.tuprolog.test.* (6)

alice.tuprolog: Javadoc index of package alice.tuprolog.


Package Samples:

alice.tuprolog.ide
alice.tuprolog.ide.rmi
alice.tuprolog.lib
alice.tuprolog.runtime.corba
alice.tuprolog.runtime.luce
alice.tuprolog.runtime.rmi
alice.tuprolog.runtime.tcp
alice.tuprolog.runtime.tucson
alice.tuprolog.test

Classes:

Library: this abstract class is the base class for developing tuProlog built-in libraries, which can be dynamically loaded by prolog objects. each library can expose to engine: a theory (as a string assigned to theory field) builtin predicates: each method whose signature is boolean name_arity(Struct goal) is considered a built-in predicate provided by the library builtin evaluable functors: each method whose signature is Term name_arity(Struct goal) is considered a built-in functors provided by the library typically theory is assigned in library constructor
Term: root class for prolog data term. the design follows the Facade Pattern: this class provide the interface for some basic services which are significant only for specific derived classes this is useful because of the derived class are few and well known: Struct and Var. (in this way boring casting is avoid) direct instances of class Term represent numbers (floats and integers)
Prolog: It's the main class of the tuProlog system. Its instances are prolog machine able to manage theories, loading libraries and solving goals. a prolog object is instatiable everywhere and anytime. A prolog object (with default libraries) is also serializable and so transportable through the net.
RTContext: runtime execution context during a demonstration. it keeps track of information necessary to do a correct renaming of variables (time) and a correct unification/deunification of terms (mark) it manages information about current demonstrating goal, current choice explored, open choices
TucsonLibrary: this library allows the exploitation of the TuCSoN coordination alice.infrastructure. only TuCSoN nodes installed on default port (that is 'TuCSoN infrastructure') are reachable through this library refer to tuplemedium documentation for understanding of coordination primitives
LuceLibrary: this library allows the exploitation of the LuCe coordination alice.infrastructure. only LuCe nodes installed on default port (that is 'LuCe infrastructure') are reachable through this library. refer to tuplemedium documentation for understanding of coordination primitives
PrologCORBAOperations: alice/tuprolog/runtime/corba/PrologCORBAOperations.java Generated by the IDL-to-Java compiler (portable), version "3.0" from alice/tuprolog/runtime/corba/PrologCORBA.idl mercoledý 17 ottobre 2001 12.02.01 GMT+02:00
_PrologCORBAImplBase: alice/tuprolog/runtime/corba/_PrologCORBAImplBase.java Generated by the IDL-to-Java compiler (portable), version "3.0" from alice/tuprolog/runtime/corba/PrologCORBA.idl mercoledý 17 ottobre 2001 12.02.01 GMT+02:00
SolveInfoCORBAHelper: alice/tuprolog/runtime/corba/SolveInfoCORBAHelper.java Generated by the IDL-to-Java compiler (portable), version "3.0" from alice/tuprolog/runtime/corba/PrologCORBA.idl mercoledý 17 ottobre 2001 12.02.01 GMT+02:00
SolveInfoCORBAHolder: alice/tuprolog/runtime/corba/SolveInfoCORBAHolder.java Generated by the IDL-to-Java compiler (portable), version "3.0" from alice/tuprolog/runtime/corba/PrologCORBA.idl mercoledý 17 ottobre 2001 12.02.01 GMT+02:00
PrologCORBAHelper: alice/tuprolog/runtime/corba/PrologCORBAHelper.java Generated by the IDL-to-Java compiler (portable), version "3.0" from alice/tuprolog/runtime/corba/PrologCORBA.idl mercoledý 17 ottobre 2001 12.02.01 GMT+02:00
PrologCORBAHolder: alice/tuprolog/runtime/corba/PrologCORBAHolder.java Generated by the IDL-to-Java compiler (portable), version "3.0" from alice/tuprolog/runtime/corba/PrologCORBA.idl mercoledý 17 ottobre 2001 12.02.01 GMT+02:00
_PrologCORBAStub: alice/tuprolog/runtime/corba/_PrologCORBAStub.java Generated by the IDL-to-Java compiler (portable), version "3.0" from alice/tuprolog/runtime/corba/PrologCORBA.idl mercoledý 17 ottobre 2001 12.02.01 GMT+02:00
SolveInfoCORBA: alice/tuprolog/runtime/corba/SolveInfoCORBA.java Generated by the IDL-to-Java compiler (portable), version "3.0" from alice/tuprolog/runtime/corba/PrologCORBA.idl mercoledý 17 ottobre 2001 12.02.01 GMT+02:00
PrologCORBA: alice/tuprolog/runtime/corba/PrologCORBA.java Generated by the IDL-to-Java compiler (portable), version "3.0" from alice/tuprolog/runtime/corba/PrologCORBA.idl mercoledý 17 ottobre 2001 12.02.01 GMT+02:00
ClauseInfo: class mantaining information about a clause creation ( Clause copy, final time T after renaming, validity flag Flag). these info are necessary to get the clause correctly managed by theory manager
Var: prolog variable implementation. Variable identificators are time (a long) and a name (a string). Name is used to identify the variable from the point of view of an external user, time as internal code.
NullTerm: prolog Null Term, used only for implementation purpose currently used only as terminator in Struct representing prolog list TO BE REMOVED AS SOON AS POSSIBLE bacause of not significant
Theory: Represents prolog theory which can be provided to prolog object. actually theory incapsulates only textual representation of prolog theories, without doing any check about validity
RespectTCLibrary: this library allows the interaction of prolog (and java) agents thorugh a locally defined tuple centre refer to tuplemedium documentation for understanding of coordination primitives
LogicTSLibrary: this library allows the interaction of prolog (and java) agents thorugh a locally defined tuple space refer to tuplemedium documentation for understanding of coordination primitives
JavaLibrary: this library allows the exploitation of any java available resource from prolog sources. refer to tuProlog documentation and articles for more information
Agent: prolog virtual machine on a separate thread it is created from a theory or a theory and a goal. it parses the theory, solves the goal and stops.
TheoryManager: dbase clauses manager. the clauses are stored in a Hashtable grouped by functor ( each group is a list that keeps the right clause sequence)
CoreLibrary: built-in predicates always loaded by prolog virtual machine. they complete the ones stored inside prolog core, in BUILT_IN matrix.

Home | Contact Us | Privacy Policy | Terms of Service