JLog, a Prolog-in-Java system, is a full-featured Prolog interpreter that can be run as an applet, an application or embedded through an API.

jlogic.jar is provided as part of JLog 1.3.6.

JAR File Size and Download Location:

File name: jlogic.jar
File size: 432045 bytes
Date modified: 24-Nov-2007
Download: JLog - Prolog-in-Java system

Manifest of the JAR: None

List of Classes in the JAR:

JLog
ubc/cs/JLog/Applet/InvalidTraceItemException
ubc/cs/JLog/Applet/gAboutDialog
ubc/cs/JLog/Applet/gAnimationPanel
ubc/cs/JLog/Applet/gAnimationWindow
ubc/cs/JLog/Applet/gButtonTab
ubc/cs/JLog/Applet/gButtonTabMenu
ubc/cs/JLog/Applet/gButtonTabMenuAction
ubc/cs/JLog/Applet/gCardPanel
ubc/cs/JLog/Applet/gClosingDialog
ubc/cs/JLog/Applet/gConsultPanel
ubc/cs/JLog/Applet/gConsultWindow
ubc/cs/JLog/Applet/gDebugPanel
ubc/cs/JLog/Applet/gDebugWindow
ubc/cs/JLog/Applet/gFindDialog
ubc/cs/JLog/Applet/gGotoLineDialog
ubc/cs/JLog/Applet/gHelpPanel
ubc/cs/JLog/Applet/gHelpWindow
ubc/cs/JLog/Applet/gInputStreamTextField
ubc/cs/JLog/Applet/gJLogApplet
ubc/cs/JLog/Applet/gJLogAppletBase
ubc/cs/JLog/Applet/gJLogApplication
ubc/cs/JLog/Applet/gJLogApplicationBase
ubc/cs/JLog/Applet/gJLogBase
ubc/cs/JLog/Applet/gMainPanel
ubc/cs/JLog/Applet/gOutputStreamTextArea
ubc/cs/JLog/Applet/gPrologServiceTextArea
ubc/cs/JLog/Applet/gPrologServiceTextField
ubc/cs/JLog/Applet/gProverStackPanel
ubc/cs/JLog/Applet/gQueryPanel
ubc/cs/JLog/Applet/gQueryWindow
ubc/cs/JLog/Applet/gStackPanel
ubc/cs/JLog/Applet/gTracePanel
ubc/cs/JLog/Applet/gWindowBase
ubc/cs/JLog/Applet/iCardPanel
ubc/cs/JLog/Applet/iJLogApplBaseServices
ubc/cs/JLog/Applet/iMenuServiceRequester
ubc/cs/JLog/Builtins/Entries/pCallPredicateEntry
ubc/cs/JLog/Builtins/Entries/pIfThenOperatorEntry
ubc/cs/JLog/Builtins/Entries/pNotOperatorEntry
ubc/cs/JLog/Builtins/Goals/jAppendArrayGoal
ubc/cs/JLog/Builtins/Goals/jAssertGoal
ubc/cs/JLog/Builtins/Goals/jCallGoal
ubc/cs/JLog/Builtins/Goals/jCallNGoal
ubc/cs/JLog/Builtins/Goals/jCompareGoal
ubc/cs/JLog/Builtins/Goals/jCopyGoal
ubc/cs/JLog/Builtins/Goals/jCurrentOpListGoal
ubc/cs/JLog/Builtins/Goals/jCutGoal
ubc/cs/JLog/Builtins/Goals/jEnumerateVariablesArrayGoal
ubc/cs/JLog/Builtins/Goals/jEquivGoal
ubc/cs/JLog/Builtins/Goals/jEquivalenceGoal
ubc/cs/JLog/Builtins/Goals/jFunctorGoal
ubc/cs/JLog/Builtins/Goals/jGetArrayElementGoal
ubc/cs/JLog/Builtins/Goals/jIntersectArrayGoal
ubc/cs/JLog/Builtins/Goals/jIsGoal
ubc/cs/JLog/Builtins/Goals/jNameGoal
ubc/cs/JLog/Builtins/Goals/jOpGoal
ubc/cs/JLog/Builtins/Goals/jOperatorGoal
ubc/cs/JLog/Builtins/Goals/jReadGoal
ubc/cs/JLog/Builtins/Goals/jRepeatGoal
ubc/cs/JLog/Builtins/Goals/jRetractGoal
ubc/cs/JLog/Builtins/Goals/jSetArrayElementGoal
ubc/cs/JLog/Builtins/Goals/jSortGoal
ubc/cs/JLog/Builtins/Goals/jSubtractArrayGoal
ubc/cs/JLog/Builtins/Goals/jTermToListGoal
ubc/cs/JLog/Builtins/Goals/jTimeGoal
ubc/cs/JLog/Builtins/Goals/jUnaryArithmeticGoal
ubc/cs/JLog/Builtins/Goals/jUnaryOperatorGoal
ubc/cs/JLog/Builtins/Goals/jUnionArrayGoal
ubc/cs/JLog/Builtins/Goals/jWriteGoal
ubc/cs/JLog/Extras/JLogTask
ubc/cs/JLog/Extras/Test/JLogAPITest
ubc/cs/JLog/Extras/Test/JLogBSFTest
ubc/cs/JLog/Extras/Test/JLogDBTest
ubc/cs/JLog/Extras/Test/JLogFSTest
ubc/cs/JLog/Extras/Test/JLogTest
ubc/cs/JLog/Foundation/DebugStackException
ubc/cs/JLog/Foundation/InvalidInputException
ubc/cs/JLog/Foundation/InvalidLibraryEntryException
ubc/cs/JLog/Foundation/LoadLibraryException
ubc/cs/JLog/Foundation/NoThreadAvailableException
ubc/cs/JLog/Foundation/UnmatchedRuleException
ubc/cs/JLog/Foundation/iAttributes
ubc/cs/JLog/Foundation/iDebugGoalStack
ubc/cs/JLog/Foundation/iGoalStack
ubc/cs/JLog/Foundation/iNameArityStub
ubc/cs/JLog/Foundation/iPrologFileServices
ubc/cs/JLog/Foundation/iPrologServiceText
ubc/cs/JLog/Foundation/iType
ubc/cs/JLog/Foundation/iUnifiable
ubc/cs/JLog/Foundation/jAPIConsultThread
ubc/cs/JLog/Foundation/jAPIQueryThread
ubc/cs/JLog/Foundation/jConsultAndQueryThread
ubc/cs/JLog/Foundation/jConsultSourceThread
ubc/cs/JLog/Foundation/jDebugFailGoalEvent
ubc/cs/JLog/Foundation/jDebugGoalStack
ubc/cs/JLog/Foundation/jDebugProveGoalEvent
ubc/cs/JLog/Foundation/jDebugProvedGoalStack
ubc/cs/JLog/Foundation/jDebugProvedGoalsEvent
ubc/cs/JLog/Foundation/jDebugProver
ubc/cs/JLog/Foundation/jDebugProverGoalStackEvent
ubc/cs/JLog/Foundation/jDebugProverStartedEvent
ubc/cs/JLog/Foundation/jDebugRetryGoalEvent
ubc/cs/JLog/Foundation/jDebugTryGoalEvent
ubc/cs/JLog/Foundation/jDynamicRuleDefinitions
ubc/cs/JLog/Foundation/jEquivalenceMapping
ubc/cs/JLog/Foundation/jGoal
ubc/cs/JLog/Foundation/jGoalStack
ubc/cs/JLog/Foundation/jKnowledgeBase
ubc/cs/JLog/Foundation/jPrologAPI
ubc/cs/JLog/Foundation/jPrologFileServices
ubc/cs/JLog/Foundation/jPrologServiceBroadcaster
ubc/cs/JLog/Foundation/jPrologServiceEvent
ubc/cs/JLog/Foundation/jPrologServiceListener
ubc/cs/JLog/Foundation/jPrologServiceThread
ubc/cs/JLog/Foundation/jPrologServices
ubc/cs/JLog/Foundation/jProver
ubc/cs/JLog/Foundation/jResetDatabaseThread
ubc/cs/JLog/Foundation/jRetryQueryThread
ubc/cs/JLog/Foundation/jRule
ubc/cs/JLog/Foundation/jRuleDefinitions
ubc/cs/JLog/Foundation/jThreadStoppedEvent
ubc/cs/JLog/Foundation/jType
ubc/cs/JLog/Foundation/jUnifiedVector
ubc/cs/JLog/Foundation/jUserGoal
ubc/cs/JLog/Foundation/jUserQueryEvent
ubc/cs/JLog/Foundation/jUserQueryThread
ubc/cs/JLog/Foundation/jVariableRegistry
ubc/cs/JLog/Foundation/jVariableVector
ubc/cs/JLog/Parser/InvalidGenericOperatorEntryException
ubc/cs/JLog/Parser/InvalidGenericPredicateEntryException
ubc/cs/JLog/Parser/InvalidOperatorEntryException
ubc/cs/JLog/Parser/SyntaxErrorException
ubc/cs/JLog/Parser/TokenizeStreamException
ubc/cs/JLog/Parser/pArray
ubc/cs/JLog/Parser/pArrayList
ubc/cs/JLog/Parser/pComma
ubc/cs/JLog/Parser/pCommand
ubc/cs/JLog/Parser/pCons
ubc/cs/JLog/Parser/pDCG
ubc/cs/JLog/Parser/pEOF
ubc/cs/JLog/Parser/pEndBrace
ubc/cs/JLog/Parser/pEndBracket
ubc/cs/JLog/Parser/pEndParen
ubc/cs/JLog/Parser/pGenericOperatorEntry
ubc/cs/JLog/Parser/pGenericPredicateEntry
ubc/cs/JLog/Parser/pIf
ubc/cs/JLog/Parser/pInteger
ubc/cs/JLog/Parser/pList
ubc/cs/JLog/Parser/pListCons
ubc/cs/JLog/Parser/pName
ubc/cs/JLog/Parser/pNumber
ubc/cs/JLog/Parser/pOperator
ubc/cs/JLog/Parser/pOperatorEntry
ubc/cs/JLog/Parser/pOperatorRegistry
ubc/cs/JLog/Parser/pPacket
ubc/cs/JLog/Parser/pParens
ubc/cs/JLog/Parser/pParseStream
ubc/cs/JLog/Parser/pPreParseStream
ubc/cs/JLog/Parser/pPreToken
ubc/cs/JLog/Parser/pPreTokenizeStream
ubc/cs/JLog/Parser/pPredicate
ubc/cs/JLog/Parser/pPredicateEntry
ubc/cs/JLog/Parser/pPredicateOperatorEntry
ubc/cs/JLog/Parser/pPredicateRegistry
ubc/cs/JLog/Parser/pReal
ubc/cs/JLog/Parser/pStartBrace
ubc/cs/JLog/Parser/pStartBracket
ubc/cs/JLog/Parser/pStartParen
ubc/cs/JLog/Parser/pTSPreToken
ubc/cs/JLog/Parser/pTermToPacketHashtable
ubc/cs/JLog/Parser/pToken
ubc/cs/JLog/Parser/pTokenizeStream
ubc/cs/JLog/Parser/pTokenizerTable
ubc/cs/JLog/Parser/pUnaryNumber
ubc/cs/JLog/Parser/pUpdateDatabaseRules
ubc/cs/JLog/Parser/pVar
ubc/cs/JLog/Parser/pVariable
ubc/cs/JLog/Parser/pVariableRegistry
ubc/cs/JLog/Terms/Entries/pCommandOperatorEntry
ubc/cs/JLog/Terms/Entries/pConsOperatorEntry
ubc/cs/JLog/Terms/Entries/pDCGOperatorEntry
ubc/cs/JLog/Terms/Entries/pDCGPredicateEntry
ubc/cs/JLog/Terms/Entries/pIfOperatorEntry
ubc/cs/JLog/Terms/Entries/pOrOperatorEntry
ubc/cs/JLog/Terms/Entries/pOrPredicateEntry
ubc/cs/JLog/Terms/Goals/jBinaryBuiltinPredicateGoal
ubc/cs/JLog/Terms/Goals/jClauseGoal
ubc/cs/JLog/Terms/Goals/jFailGoal
ubc/cs/JLog/Terms/Goals/jNaryBuiltinPredicateGoal
ubc/cs/JLog/Terms/Goals/jOrGoal
ubc/cs/JLog/Terms/Goals/jOrGoalWVars
ubc/cs/JLog/Terms/Goals/jPredicateGoal
ubc/cs/JLog/Terms/Goals/jQuadaryBuiltinPredicateGoal
ubc/cs/JLog/Terms/Goals/jTrinaryBuiltinPredicateGoal
ubc/cs/JLog/Terms/Goals/jTrueGoal
ubc/cs/JLog/Terms/Goals/jUnaryBuiltinPredicateGoal
ubc/cs/JLog/Terms/InvalidClauseException
ubc/cs/JLog/Terms/InvalidDCGFormException
ubc/cs/JLog/Terms/InvalidPredicateNameException
ubc/cs/JLog/Terms/PredicateExpectedException
ubc/cs/JLog/Terms/TranslationFailureException
ubc/cs/JLog/Terms/UnimplementedPredicateProveMethodException
ubc/cs/JLog/Terms/UnknownPredicateException
ubc/cs/JLog/Terms/iConsultable
ubc/cs/JLog/Terms/iList
ubc/cs/JLog/Terms/iMakeUnmake
ubc/cs/JLog/Terms/iName
ubc/cs/JLog/Terms/iNameArity
ubc/cs/JLog/Terms/iObjectToTerm
ubc/cs/JLog/Terms/iPredicate
ubc/cs/JLog/Terms/iTerm
ubc/cs/JLog/Terms/iTermToObject
ubc/cs/JLog/Terms/iValue
ubc/cs/JLog/Terms/jAtom
ubc/cs/JLog/Terms/jBinaryBuiltinPredicate
ubc/cs/JLog/Terms/jBuiltinPredicate
ubc/cs/JLog/Terms/jBuiltinRule
ubc/cs/JLog/Terms/jClause
ubc/cs/JLog/Terms/jCommand
ubc/cs/JLog/Terms/jCompoundTerm
ubc/cs/JLog/Terms/jConjunctTerm
ubc/cs/JLog/Terms/jCons
ubc/cs/JLog/Terms/jDCG
ubc/cs/JLog/Terms/jFail
ubc/cs/JLog/Terms/jIf
ubc/cs/JLog/Terms/jInteger
ubc/cs/JLog/Terms/jList
ubc/cs/JLog/Terms/jListPair
ubc/cs/JLog/Terms/jNaryBuiltinPredicate
ubc/cs/JLog/Terms/jNullList
ubc/cs/JLog/Terms/jObject
ubc/cs/JLog/Terms/jOr
ubc/cs/JLog/Terms/jOrPredicate
ubc/cs/JLog/Terms/jPredefined
ubc/cs/JLog/Terms/jPredefinedTerms
ubc/cs/JLog/Terms/jPredicate
ubc/cs/JLog/Terms/jPredicateTerms
ubc/cs/JLog/Terms/jQuadaryBuiltinPredicate
ubc/cs/JLog/Terms/jReal
ubc/cs/JLog/Terms/jTerm
ubc/cs/JLog/Terms/jTermTranslation
ubc/cs/JLog/Terms/jTrinaryBuiltinPredicate
ubc/cs/JLog/Terms/jTrue
ubc/cs/JLog/Terms/jUnaryBuiltinPredicate
ubc/cs/JLog/Terms/jUnify
ubc/cs/JLog/Terms/jVariable