Download jlog-1.3.6-sources.jar
jlog/jlog-1.3.6-sources.jar.zip( 425 k)
The download jar file contains the following class files or Java source files.
INIT_BUILTINSLIB.TOC
META-INF/MANIFEST.MF
ubc.cs.JLog.Builtins.Entries.pCallPredicateEntry.java
ubc.cs.JLog.Builtins.Entries.pIfThenOperatorEntry.java
ubc.cs.JLog.Builtins.Entries.pNotOperatorEntry.java
ubc.cs.JLog.Builtins.ExpectedCompoundTermException.java
ubc.cs.JLog.Builtins.Goals.jAppendArrayGoal.java
ubc.cs.JLog.Builtins.Goals.jAssertGoal.java
ubc.cs.JLog.Builtins.Goals.jCallGoal.java
ubc.cs.JLog.Builtins.Goals.jCallNGoal.java
ubc.cs.JLog.Builtins.Goals.jCompareGoal.java
ubc.cs.JLog.Builtins.Goals.jCopyGoal.java
ubc.cs.JLog.Builtins.Goals.jCurrentOpListGoal.java
ubc.cs.JLog.Builtins.Goals.jCutGoal.java
ubc.cs.JLog.Builtins.Goals.jEnumerateVariablesArrayGoal.java
ubc.cs.JLog.Builtins.Goals.jEquivGoal.java
ubc.cs.JLog.Builtins.Goals.jEquivalenceGoal.java
ubc.cs.JLog.Builtins.Goals.jFunctorGoal.java
ubc.cs.JLog.Builtins.Goals.jGetArrayElementGoal.java
ubc.cs.JLog.Builtins.Goals.jIntersectArrayGoal.java
ubc.cs.JLog.Builtins.Goals.jIsGoal.java
ubc.cs.JLog.Builtins.Goals.jNameGoal.java
ubc.cs.JLog.Builtins.Goals.jOpGoal.java
ubc.cs.JLog.Builtins.Goals.jOperatorGoal.java
ubc.cs.JLog.Builtins.Goals.jReadGoal.java
ubc.cs.JLog.Builtins.Goals.jRepeatGoal.java
ubc.cs.JLog.Builtins.Goals.jRetractGoal.java
ubc.cs.JLog.Builtins.Goals.jSetArrayElementGoal.java
ubc.cs.JLog.Builtins.Goals.jSortGoal.java
ubc.cs.JLog.Builtins.Goals.jSubtractArrayGoal.java
ubc.cs.JLog.Builtins.Goals.jTermToListGoal.java
ubc.cs.JLog.Builtins.Goals.jTimeGoal.java
ubc.cs.JLog.Builtins.Goals.jUnaryArithmeticGoal.java
ubc.cs.JLog.Builtins.Goals.jUnaryOperatorGoal.java
ubc.cs.JLog.Builtins.Goals.jUnionArrayGoal.java
ubc.cs.JLog.Builtins.Goals.jWriteGoal.java
ubc.cs.JLog.Builtins.InvalidArgArgumentException.java
ubc.cs.JLog.Builtins.InvalidArithmeticOperationException.java
ubc.cs.JLog.Builtins.InvalidAssertException.java
ubc.cs.JLog.Builtins.InvalidCalleeTypeException.java
ubc.cs.JLog.Builtins.InvalidExpressionTypeException.java
ubc.cs.JLog.Builtins.InvalidFunctorArgumentException.java
ubc.cs.JLog.Builtins.InvalidKeysortKeyValueException.java
ubc.cs.JLog.Builtins.InvalidNameArgumentException.java
ubc.cs.JLog.Builtins.InvalidOpArgumentException.java
ubc.cs.JLog.Builtins.InvalidRetractException.java
ubc.cs.JLog.Builtins.InvalidSortSourceListException.java
ubc.cs.JLog.Builtins.InvalidTermToListArgumentException.java
ubc.cs.JLog.Builtins.MissingInputServicesException.java
ubc.cs.JLog.Builtins.iArithmetic.java
ubc.cs.JLog.Builtins.jACos.java
ubc.cs.JLog.Builtins.jASin.java
ubc.cs.JLog.Builtins.jATan.java
ubc.cs.JLog.Builtins.jATan2.java
ubc.cs.JLog.Builtins.jAbs.java
ubc.cs.JLog.Builtins.jAdd.java
ubc.cs.JLog.Builtins.jAfter.java
ubc.cs.JLog.Builtins.jAfterEqual.java
ubc.cs.JLog.Builtins.jAppendArray.java
ubc.cs.JLog.Builtins.jArg.java
ubc.cs.JLog.Builtins.jArithmetic.java
ubc.cs.JLog.Builtins.jAssert.java
ubc.cs.JLog.Builtins.jAsserta.java
ubc.cs.JLog.Builtins.jAssertz.java
ubc.cs.JLog.Builtins.jBefore.java
ubc.cs.JLog.Builtins.jBeforeEqual.java
ubc.cs.JLog.Builtins.jBitwiseConjunction.java
ubc.cs.JLog.Builtins.jBitwiseDisjunction.java
ubc.cs.JLog.Builtins.jBitwiseExclusiveDisjunction.java
ubc.cs.JLog.Builtins.jBitwiseLeftShift.java
ubc.cs.JLog.Builtins.jBitwiseNegation.java
ubc.cs.JLog.Builtins.jBitwiseRightShift.java
ubc.cs.JLog.Builtins.jCall.java
ubc.cs.JLog.Builtins.jCallN.java
ubc.cs.JLog.Builtins.jCeiling.java
ubc.cs.JLog.Builtins.jCompare.java
ubc.cs.JLog.Builtins.jComparison.java
ubc.cs.JLog.Builtins.jConvertArray.java
ubc.cs.JLog.Builtins.jCopyTerm.java
ubc.cs.JLog.Builtins.jCos.java
ubc.cs.JLog.Builtins.jCreateArray.java
ubc.cs.JLog.Builtins.jCurrentOpList.java
ubc.cs.JLog.Builtins.jCut.java
ubc.cs.JLog.Builtins.jDynamic.java
ubc.cs.JLog.Builtins.jEnumerateVariablesArray.java
ubc.cs.JLog.Builtins.jEqual.java
ubc.cs.JLog.Builtins.jEquivalence.java
ubc.cs.JLog.Builtins.jEquivalent.java
ubc.cs.JLog.Builtins.jExists.java
ubc.cs.JLog.Builtins.jExp.java
ubc.cs.JLog.Builtins.jExpandTerm.java
ubc.cs.JLog.Builtins.jFloor.java
ubc.cs.JLog.Builtins.jFunctor.java
ubc.cs.JLog.Builtins.jGetArrayElement.java
ubc.cs.JLog.Builtins.jGreaterThan.java
ubc.cs.JLog.Builtins.jGreaterThanEqual.java
ubc.cs.JLog.Builtins.jIntegerArithmetic.java
ubc.cs.JLog.Builtins.jIntegerDivide.java
ubc.cs.JLog.Builtins.jIntegerOnlyArithmetic.java
ubc.cs.JLog.Builtins.jIntersectArray.java
ubc.cs.JLog.Builtins.jIs.java
ubc.cs.JLog.Builtins.jIsAtom.java
ubc.cs.JLog.Builtins.jIsAtomic.java
ubc.cs.JLog.Builtins.jIsCallable.java
ubc.cs.JLog.Builtins.jIsCompound.java
ubc.cs.JLog.Builtins.jIsGround.java
ubc.cs.JLog.Builtins.jIsInteger.java
ubc.cs.JLog.Builtins.jIsList.java
ubc.cs.JLog.Builtins.jIsNonVariable.java
ubc.cs.JLog.Builtins.jIsNumber.java
ubc.cs.JLog.Builtins.jIsReal.java
ubc.cs.JLog.Builtins.jIsSimple.java
ubc.cs.JLog.Builtins.jIsType.java
ubc.cs.JLog.Builtins.jIsVariable.java
ubc.cs.JLog.Builtins.jKeysort.java
ubc.cs.JLog.Builtins.jLessThan.java
ubc.cs.JLog.Builtins.jLessThanEqual.java
ubc.cs.JLog.Builtins.jLoadLibrary.java
ubc.cs.JLog.Builtins.jLog.java
ubc.cs.JLog.Builtins.jLog10.java
ubc.cs.JLog.Builtins.jLog2.java
ubc.cs.JLog.Builtins.jLogBase.java
ubc.cs.JLog.Builtins.jMax.java
ubc.cs.JLog.Builtins.jMin.java
ubc.cs.JLog.Builtins.jMinus.java
ubc.cs.JLog.Builtins.jMod.java
ubc.cs.JLog.Builtins.jMultiply.java
ubc.cs.JLog.Builtins.jName.java
ubc.cs.JLog.Builtins.jNotEqual.java
ubc.cs.JLog.Builtins.jNotEquivalence.java
ubc.cs.JLog.Builtins.jNotEquivalent.java
ubc.cs.JLog.Builtins.jNotUnify.java
ubc.cs.JLog.Builtins.jNumericComparison.java
ubc.cs.JLog.Builtins.jOp.java
ubc.cs.JLog.Builtins.jOperator.java
ubc.cs.JLog.Builtins.jPlus.java
ubc.cs.JLog.Builtins.jPow.java
ubc.cs.JLog.Builtins.jPredefinedBuiltins.java
ubc.cs.JLog.Builtins.jRandom.java
ubc.cs.JLog.Builtins.jRead.java
ubc.cs.JLog.Builtins.jRealArithmetic.java
ubc.cs.JLog.Builtins.jRealDivide.java
ubc.cs.JLog.Builtins.jRealUnaryArithmetic.java
ubc.cs.JLog.Builtins.jRepeat.java
ubc.cs.JLog.Builtins.jRetract.java
ubc.cs.JLog.Builtins.jRound.java
ubc.cs.JLog.Builtins.jSetArrayElement.java
ubc.cs.JLog.Builtins.jSin.java
ubc.cs.JLog.Builtins.jSort.java
ubc.cs.JLog.Builtins.jSqrt.java
ubc.cs.JLog.Builtins.jSubtract.java
ubc.cs.JLog.Builtins.jSubtractArray.java
ubc.cs.JLog.Builtins.jTan.java
ubc.cs.JLog.Builtins.jTermToList.java
ubc.cs.JLog.Builtins.jTime.java
ubc.cs.JLog.Builtins.jTruncate.java
ubc.cs.JLog.Builtins.jUnaryArithmetic.java
ubc.cs.JLog.Builtins.jUnaryOperator.java
ubc.cs.JLog.Builtins.jUnionArray.java
ubc.cs.JLog.Builtins.jWrite.java
ubc.cs.JLog.Foundation.InvalidInputException.java
ubc.cs.JLog.Foundation.InvalidLibraryEntryException.java
ubc.cs.JLog.Foundation.LoadLibraryException.java
ubc.cs.JLog.Foundation.NoThreadAvailableException.java
ubc.cs.JLog.Foundation.UnmatchedRuleException.java
ubc.cs.JLog.Foundation.iAttributes.java
ubc.cs.JLog.Foundation.iDebugGoalStack.java
ubc.cs.JLog.Foundation.iGoalStack.java
ubc.cs.JLog.Foundation.iNameArityStub.java
ubc.cs.JLog.Foundation.iPrologFileServices.java
ubc.cs.JLog.Foundation.iPrologServiceText.java
ubc.cs.JLog.Foundation.iType.java
ubc.cs.JLog.Foundation.iUnifiable.java
ubc.cs.JLog.Foundation.jAPIConsultThread.java
ubc.cs.JLog.Foundation.jAPIQueryThread.java
ubc.cs.JLog.Foundation.jConsultAndQueryThread.java
ubc.cs.JLog.Foundation.jConsultSourceThread.java
ubc.cs.JLog.Foundation.jDebugFailGoalEvent.java
ubc.cs.JLog.Foundation.jDebugGoalStack.java
ubc.cs.JLog.Foundation.jDebugProveGoalEvent.java
ubc.cs.JLog.Foundation.jDebugProvedGoalStack.java
ubc.cs.JLog.Foundation.jDebugProvedGoalsEvent.java
ubc.cs.JLog.Foundation.jDebugProver.java
ubc.cs.JLog.Foundation.jDebugProverGoalStackEvent.java
ubc.cs.JLog.Foundation.jDebugProverStartedEvent.java
ubc.cs.JLog.Foundation.jDebugRetryGoalEvent.java
ubc.cs.JLog.Foundation.jDebugTryGoalEvent.java
ubc.cs.JLog.Foundation.jDynamicRuleDefinitions.java
ubc.cs.JLog.Foundation.jEquivalenceMapping.java
ubc.cs.JLog.Foundation.jGoal.java
ubc.cs.JLog.Foundation.jGoalStack.java
ubc.cs.JLog.Foundation.jKnowledgeBase.java
ubc.cs.JLog.Foundation.jPrologAPI.java
ubc.cs.JLog.Foundation.jPrologFileServices.java
ubc.cs.JLog.Foundation.jPrologServiceBroadcaster.java
ubc.cs.JLog.Foundation.jPrologServiceEvent.java
ubc.cs.JLog.Foundation.jPrologServiceListener.java
ubc.cs.JLog.Foundation.jPrologServiceThread.java
ubc.cs.JLog.Foundation.jPrologServices.java
ubc.cs.JLog.Foundation.jProver.java
ubc.cs.JLog.Foundation.jResetDatabaseThread.java
ubc.cs.JLog.Foundation.jRetryQueryThread.java
ubc.cs.JLog.Foundation.jRule.java
ubc.cs.JLog.Foundation.jRuleDefinitions.java
ubc.cs.JLog.Foundation.jThreadStoppedEvent.java
ubc.cs.JLog.Foundation.jType.java
ubc.cs.JLog.Foundation.jUnifiedVector.java
ubc.cs.JLog.Foundation.jUserGoal.java
ubc.cs.JLog.Foundation.jUserQueryEvent.java
ubc.cs.JLog.Foundation.jUserQueryThread.java
ubc.cs.JLog.Foundation.jVariableRegistry.java
ubc.cs.JLog.Foundation.jVariableVector.java
ubc.cs.JLog.Parser.InvalidOperatorEntryException.java
ubc.cs.JLog.Parser.SyntaxErrorException.java
ubc.cs.JLog.Parser.TokenizeStreamException.java
ubc.cs.JLog.Parser.pArray.java
ubc.cs.JLog.Parser.pArrayList.java
ubc.cs.JLog.Parser.pComma.java
ubc.cs.JLog.Parser.pCommand.java
ubc.cs.JLog.Parser.pCons.java
ubc.cs.JLog.Parser.pDCG.java
ubc.cs.JLog.Parser.pEOF.java
ubc.cs.JLog.Parser.pEndBrace.java
ubc.cs.JLog.Parser.pEndBracket.java
ubc.cs.JLog.Parser.pEndParen.java
ubc.cs.JLog.Parser.pGenericOperatorEntry.java
ubc.cs.JLog.Parser.pGenericPredicateEntry.java
ubc.cs.JLog.Parser.pIf.java
ubc.cs.JLog.Parser.pInteger.java
ubc.cs.JLog.Parser.pList.java
ubc.cs.JLog.Parser.pListCons.java
ubc.cs.JLog.Parser.pName.java
ubc.cs.JLog.Parser.pNumber.java
ubc.cs.JLog.Parser.pOperator.java
ubc.cs.JLog.Parser.pOperatorEntry.java
ubc.cs.JLog.Parser.pOperatorRegistry.java
ubc.cs.JLog.Parser.pPacket.java
ubc.cs.JLog.Parser.pParens.java
ubc.cs.JLog.Parser.pParseStream.java
ubc.cs.JLog.Parser.pPreParseStream.java
ubc.cs.JLog.Parser.pPreToken.java
ubc.cs.JLog.Parser.pPreTokenizeStream.java
ubc.cs.JLog.Parser.pPredicate.java
ubc.cs.JLog.Parser.pPredicateEntry.java
ubc.cs.JLog.Parser.pPredicateOperatorEntry.java
ubc.cs.JLog.Parser.pPredicateRegistry.java
ubc.cs.JLog.Parser.pReal.java
ubc.cs.JLog.Parser.pStartBrace.java
ubc.cs.JLog.Parser.pStartBracket.java
ubc.cs.JLog.Parser.pStartParen.java
ubc.cs.JLog.Parser.pTSPreToken.java
ubc.cs.JLog.Parser.pTermToPacketHashtable.java
ubc.cs.JLog.Parser.pToken.java
ubc.cs.JLog.Parser.pTokenizeStream.java
ubc.cs.JLog.Parser.pTokenizerTable.java
ubc.cs.JLog.Parser.pUnaryNumber.java
ubc.cs.JLog.Parser.pUpdateDatabaseRules.java
ubc.cs.JLog.Parser.pVar.java
ubc.cs.JLog.Parser.pVariable.java
ubc.cs.JLog.Parser.pVariableRegistry.java
ubc.cs.JLog.Terms.Entries.pCommandOperatorEntry.java
ubc.cs.JLog.Terms.Entries.pConsOperatorEntry.java
ubc.cs.JLog.Terms.Entries.pDCGOperatorEntry.java
ubc.cs.JLog.Terms.Entries.pDCGPredicateEntry.java
ubc.cs.JLog.Terms.Entries.pIfOperatorEntry.java
ubc.cs.JLog.Terms.Entries.pOrOperatorEntry.java
ubc.cs.JLog.Terms.Entries.pOrPredicateEntry.java
ubc.cs.JLog.Terms.Goals.jBinaryBuiltinPredicateGoal.java
ubc.cs.JLog.Terms.Goals.jClauseGoal.java
ubc.cs.JLog.Terms.Goals.jFailGoal.java
ubc.cs.JLog.Terms.Goals.jNaryBuiltinPredicateGoal.java
ubc.cs.JLog.Terms.Goals.jOrGoal.java
ubc.cs.JLog.Terms.Goals.jOrGoalWVars.java
ubc.cs.JLog.Terms.Goals.jPredicateGoal.java
ubc.cs.JLog.Terms.Goals.jQuadaryBuiltinPredicateGoal.java
ubc.cs.JLog.Terms.Goals.jTrinaryBuiltinPredicateGoal.java
ubc.cs.JLog.Terms.Goals.jTrueGoal.java
ubc.cs.JLog.Terms.Goals.jUnaryBuiltinPredicateGoal.java
ubc.cs.JLog.Terms.InvalidClauseException.java
ubc.cs.JLog.Terms.InvalidDCGFormException.java
ubc.cs.JLog.Terms.InvalidPredicateNameException.java
ubc.cs.JLog.Terms.PredicateExpectedException.java
ubc.cs.JLog.Terms.TranslationFailureException.java
ubc.cs.JLog.Terms.UnimplementedPredicateProveMethodException.java
ubc.cs.JLog.Terms.UnknownPredicateException.java
ubc.cs.JLog.Terms.iConsultable.java
ubc.cs.JLog.Terms.iList.java
ubc.cs.JLog.Terms.iMakeUnmake.java
ubc.cs.JLog.Terms.iName.java
ubc.cs.JLog.Terms.iNameArity.java
ubc.cs.JLog.Terms.iObjectToTerm.java
ubc.cs.JLog.Terms.iPredicate.java
ubc.cs.JLog.Terms.iTerm.java
ubc.cs.JLog.Terms.iTermToObject.java
ubc.cs.JLog.Terms.iValue.java
ubc.cs.JLog.Terms.jAtom.java
ubc.cs.JLog.Terms.jBinaryBuiltinPredicate.java
ubc.cs.JLog.Terms.jBuiltinPredicate.java
ubc.cs.JLog.Terms.jBuiltinRule.java
ubc.cs.JLog.Terms.jClause.java
ubc.cs.JLog.Terms.jCommand.java
ubc.cs.JLog.Terms.jCompoundTerm.java
ubc.cs.JLog.Terms.jConjunctTerm.java
ubc.cs.JLog.Terms.jCons.java
ubc.cs.JLog.Terms.jDCG.java
ubc.cs.JLog.Terms.jFail.java
ubc.cs.JLog.Terms.jIf.java
ubc.cs.JLog.Terms.jInteger.java
ubc.cs.JLog.Terms.jList.java
ubc.cs.JLog.Terms.jListPair.java
ubc.cs.JLog.Terms.jNaryBuiltinPredicate.java
ubc.cs.JLog.Terms.jNullList.java
ubc.cs.JLog.Terms.jObject.java
ubc.cs.JLog.Terms.jOr.java
ubc.cs.JLog.Terms.jOrPredicate.java
ubc.cs.JLog.Terms.jPredefined.java
ubc.cs.JLog.Terms.jPredefinedTerms.java
ubc.cs.JLog.Terms.jPredicate.java
ubc.cs.JLog.Terms.jPredicateTerms.java
ubc.cs.JLog.Terms.jQuadaryBuiltinPredicate.java
ubc.cs.JLog.Terms.jReal.java
ubc.cs.JLog.Terms.jTerm.java
ubc.cs.JLog.Terms.jTermTranslation.java
ubc.cs.JLog.Terms.jTrinaryBuiltinPredicate.java
ubc.cs.JLog.Terms.jTrue.java
ubc.cs.JLog.Terms.jUnaryBuiltinPredicate.java
ubc.cs.JLog.Terms.jUnify.java
ubc.cs.JLog.Terms.jVariable.java
Related examples in the same category