jar

org.projog : projog-core

Maven & Gradle

Apr 01, 2023
1 usages
27 stars

projog-core · An implementation of the Prolog programming language for the Java platform.

Table Of Contents

Latest Version

Download org.projog : projog-core JAR file - Latest Versions:

All Versions

Download org.projog : projog-core JAR file - All Versions:

Version Vulnerabilities Size Updated
0.9.x
0.8.x
0.7.x
0.6.x
0.5.x
0.4.x
0.3.x
0.2.x
0.1.x

View Java Class Source Code in JAR file

  1. Download JD-GUI to open JAR file and explore Java source code file (.class .java)
  2. Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window projog-core-0.9.0.jar file.
    Once you open a JAR file, all the java classes in the JAR file will be displayed.

org.projog.core.predicate.builtin.compound

├─ org.projog.core.predicate.builtin.compound.AbstractCollectionOf.class - [JAR]

├─ org.projog.core.predicate.builtin.compound.BagOf.class - [JAR]

├─ org.projog.core.predicate.builtin.compound.Call.class - [JAR]

├─ org.projog.core.predicate.builtin.compound.Conjunction.class - [JAR]

├─ org.projog.core.predicate.builtin.compound.Disjunction.class - [JAR]

├─ org.projog.core.predicate.builtin.compound.FindAll.class - [JAR]

├─ org.projog.core.predicate.builtin.compound.IfThen.class - [JAR]

├─ org.projog.core.predicate.builtin.compound.Limit.class - [JAR]

├─ org.projog.core.predicate.builtin.compound.Not.class - [JAR]

├─ org.projog.core.predicate.builtin.compound.Once.class - [JAR]

├─ org.projog.core.predicate.builtin.compound.SetOf.class - [JAR]

org.projog.core.term

├─ org.projog.core.term.Atom.class - [JAR]

├─ org.projog.core.term.DecimalFraction.class - [JAR]

├─ org.projog.core.term.EmptyList.class - [JAR]

├─ org.projog.core.term.IntegerNumber.class - [JAR]

├─ org.projog.core.term.IntegerNumberCache.class - [JAR]

├─ org.projog.core.term.List.class - [JAR]

├─ org.projog.core.term.ListFactory.class - [JAR]

├─ org.projog.core.term.ListUtils.class - [JAR]

├─ org.projog.core.term.Structure.class - [JAR]

├─ org.projog.core.term.Term.class - [JAR]

├─ org.projog.core.term.TermComparator.class - [JAR]

├─ org.projog.core.term.TermFormatter.class - [JAR]

├─ org.projog.core.term.TermType.class - [JAR]

├─ org.projog.core.term.TermUtils.class - [JAR]

├─ org.projog.core.term.Variable.class - [JAR]

├─ org.projog.core.term.VariableAttribute.class - [JAR]

org.projog.core.parser

├─ org.projog.core.parser.CharacterParser.class - [JAR]

├─ org.projog.core.parser.Delimiters.class - [JAR]

├─ org.projog.core.parser.Operands.class - [JAR]

├─ org.projog.core.parser.ParserException.class - [JAR]

├─ org.projog.core.parser.ProjogSourceReader.class - [JAR]

├─ org.projog.core.parser.SentenceParser.class - [JAR]

├─ org.projog.core.parser.Token.class - [JAR]

├─ org.projog.core.parser.TokenParser.class - [JAR]

├─ org.projog.core.parser.TokenType.class - [JAR]

org.projog.core.kb

├─ org.projog.core.kb.KnowledgeBase.class - [JAR]

├─ org.projog.core.kb.KnowledgeBaseConsumer.class - [JAR]

├─ org.projog.core.kb.KnowledgeBaseServiceLocator.class - [JAR]

├─ org.projog.core.kb.KnowledgeBaseUtils.class - [JAR]

├─ org.projog.core.kb.ProjogDefaultProperties.class - [JAR]

├─ org.projog.core.kb.ProjogProperties.class - [JAR]

org.projog.core.predicate.builtin.reif

├─ org.projog.core.predicate.builtin.reif.Dif.class - [JAR]

org.projog.core.predicate.builtin.kb

├─ org.projog.core.predicate.builtin.kb.AddArithmeticOperator.class - [JAR]

├─ org.projog.core.predicate.builtin.kb.AddPredicateFactory.class - [JAR]

├─ org.projog.core.predicate.builtin.kb.AddUserDefinedArithmeticOperator.class - [JAR]

├─ org.projog.core.predicate.builtin.kb.Assert.class - [JAR]

├─ org.projog.core.predicate.builtin.kb.Consult.class - [JAR]

├─ org.projog.core.predicate.builtin.kb.ConsultList.class - [JAR]

├─ org.projog.core.predicate.builtin.kb.CurrentPredicate.class - [JAR]

├─ org.projog.core.predicate.builtin.kb.Dynamic.class - [JAR]

├─ org.projog.core.predicate.builtin.kb.EnsureLoaded.class - [JAR]

├─ org.projog.core.predicate.builtin.kb.Flag.class - [JAR]

├─ org.projog.core.predicate.builtin.kb.Inspect.class - [JAR]

├─ org.projog.core.predicate.builtin.kb.Listing.class - [JAR]

├─ org.projog.core.predicate.builtin.kb.RetractAll.class - [JAR]

org.projog.core.predicate.builtin.compare

├─ org.projog.core.predicate.builtin.compare.AbstractNumericComparisonPredicate.class - [JAR]

├─ org.projog.core.predicate.builtin.compare.Between.class - [JAR]

├─ org.projog.core.predicate.builtin.compare.Compare.class - [JAR]

├─ org.projog.core.predicate.builtin.compare.Equal.class - [JAR]

├─ org.projog.core.predicate.builtin.compare.Is.class - [JAR]

├─ org.projog.core.predicate.builtin.compare.NotStrictEquality.class - [JAR]

├─ org.projog.core.predicate.builtin.compare.NotUnifiable.class - [JAR]

├─ org.projog.core.predicate.builtin.compare.NumericEquality.class - [JAR]

├─ org.projog.core.predicate.builtin.compare.NumericGreaterThan.class - [JAR]

├─ org.projog.core.predicate.builtin.compare.NumericGreaterThanOrEqual.class - [JAR]

├─ org.projog.core.predicate.builtin.compare.NumericInequality.class - [JAR]

├─ org.projog.core.predicate.builtin.compare.NumericLessThan.class - [JAR]

├─ org.projog.core.predicate.builtin.compare.NumericLessThanOrEqual.class - [JAR]

├─ org.projog.core.predicate.builtin.compare.PredSort.class - [JAR]

├─ org.projog.core.predicate.builtin.compare.StrictEquality.class - [JAR]

├─ org.projog.core.predicate.builtin.compare.TermGreaterThan.class - [JAR]

├─ org.projog.core.predicate.builtin.compare.TermGreaterThanOrEqual.class - [JAR]

├─ org.projog.core.predicate.builtin.compare.TermLessThan.class - [JAR]

├─ org.projog.core.predicate.builtin.compare.TermLessThanOrEqual.class - [JAR]

├─ org.projog.core.predicate.builtin.compare.UnifyWithOccursCheck.class - [JAR]

org.projog.core.predicate.builtin.construct

├─ org.projog.core.predicate.builtin.construct.Arg.class - [JAR]

├─ org.projog.core.predicate.builtin.construct.AtomConcat.class - [JAR]

├─ org.projog.core.predicate.builtin.construct.CopyTerm.class - [JAR]

├─ org.projog.core.predicate.builtin.construct.Functor.class - [JAR]

├─ org.projog.core.predicate.builtin.construct.NumberVars.class - [JAR]

├─ org.projog.core.predicate.builtin.construct.TermSplit.class - [JAR]

├─ org.projog.core.predicate.builtin.construct.Univ.class - [JAR]

org.projog.core.math.builtin

├─ org.projog.core.math.builtin.Abs.class - [JAR]

├─ org.projog.core.math.builtin.Add.class - [JAR]

├─ org.projog.core.math.builtin.BitwiseAnd.class - [JAR]

├─ org.projog.core.math.builtin.BitwiseOr.class - [JAR]

├─ org.projog.core.math.builtin.BitwiseXor.class - [JAR]

├─ org.projog.core.math.builtin.Divide.class - [JAR]

├─ org.projog.core.math.builtin.IntegerDivide.class - [JAR]

├─ org.projog.core.math.builtin.Max.class - [JAR]

├─ org.projog.core.math.builtin.Min.class - [JAR]

├─ org.projog.core.math.builtin.Minus.class - [JAR]

├─ org.projog.core.math.builtin.Modulo.class - [JAR]

├─ org.projog.core.math.builtin.Multiply.class - [JAR]

├─ org.projog.core.math.builtin.Power.class - [JAR]

├─ org.projog.core.math.builtin.Random.class - [JAR]

├─ org.projog.core.math.builtin.Remainder.class - [JAR]

├─ org.projog.core.math.builtin.Round.class - [JAR]

├─ org.projog.core.math.builtin.ShiftLeft.class - [JAR]

├─ org.projog.core.math.builtin.ShiftRight.class - [JAR]

├─ org.projog.core.math.builtin.Subtract.class - [JAR]

org.projog.core.predicate.builtin.db

├─ org.projog.core.predicate.builtin.db.Erase.class - [JAR]

├─ org.projog.core.predicate.builtin.db.InsertRecord.class - [JAR]

├─ org.projog.core.predicate.builtin.db.Record.class - [JAR]

├─ org.projog.core.predicate.builtin.db.Recorded.class - [JAR]

├─ org.projog.core.predicate.builtin.db.RecordedDatabase.class - [JAR]

org.projog.core.predicate

├─ org.projog.core.predicate.AbstractPredicateFactory.class - [JAR]

├─ org.projog.core.predicate.AbstractSingleResultPredicate.class - [JAR]

├─ org.projog.core.predicate.CutException.class - [JAR]

├─ org.projog.core.predicate.Predicate.class - [JAR]

├─ org.projog.core.predicate.PredicateFactory.class - [JAR]

├─ org.projog.core.predicate.PredicateKey.class - [JAR]

├─ org.projog.core.predicate.Predicates.class - [JAR]

├─ org.projog.core.predicate.PreprocessablePredicateFactory.class - [JAR]

├─ org.projog.core.predicate.SucceedsNeverPredicate.class - [JAR]

├─ org.projog.core.predicate.SucceedsOncePredicate.class - [JAR]

├─ org.projog.core.predicate.UnknownPredicate.class - [JAR]

org.projog.core.predicate.builtin.debug

├─ org.projog.core.predicate.builtin.debug.AlterSpyPoint.class - [JAR]

├─ org.projog.core.predicate.builtin.debug.Debugging.class - [JAR]

├─ org.projog.core.predicate.builtin.debug.NoDebug.class - [JAR]

├─ org.projog.core.predicate.builtin.debug.NoTrace.class - [JAR]

├─ org.projog.core.predicate.builtin.debug.Trace.class - [JAR]

org.projog.core.predicate.udp

├─ org.projog.core.predicate.udp.ClauseAction.class - [JAR]

├─ org.projog.core.predicate.udp.ClauseActionFactory.class - [JAR]

├─ org.projog.core.predicate.udp.ClauseModel.class - [JAR]

├─ org.projog.core.predicate.udp.Clauses.class - [JAR]

├─ org.projog.core.predicate.udp.DefiniteClauseGrammerConvertor.class - [JAR]

├─ org.projog.core.predicate.udp.DynamicUserDefinedPredicateFactory.class - [JAR]

├─ org.projog.core.predicate.udp.Index.class - [JAR]

├─ org.projog.core.predicate.udp.Indexes.class - [JAR]

├─ org.projog.core.predicate.udp.InterpretedTailRecursivePredicate.class - [JAR]

├─ org.projog.core.predicate.udp.InterpretedTailRecursivePredicateFactory.class - [JAR]

├─ org.projog.core.predicate.udp.InterpretedUserDefinedPredicate.class - [JAR]

├─ org.projog.core.predicate.udp.KeyFactories.class - [JAR]

├─ org.projog.core.predicate.udp.NeverSucceedsPredicateFactory.class - [JAR]

├─ org.projog.core.predicate.udp.PredicateUtils.class - [JAR]

├─ org.projog.core.predicate.udp.SingleNonRetryableRulePredicateFactory.class - [JAR]

├─ org.projog.core.predicate.udp.SingleRetryableRulePredicateFactory.class - [JAR]

├─ org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory.class - [JAR]

├─ org.projog.core.predicate.udp.TailRecursivePredicate.class - [JAR]

├─ org.projog.core.predicate.udp.TailRecursivePredicateMetaData.class - [JAR]

├─ org.projog.core.predicate.udp.UserDefinedPredicateFactory.class - [JAR]

org.projog.core.event

├─ org.projog.core.event.LoggingProjogListener.class - [JAR]

├─ org.projog.core.event.ProjogListener.class - [JAR]

├─ org.projog.core.event.ProjogListeners.class - [JAR]

├─ org.projog.core.event.SpyPoints.class - [JAR]

org.projog.core.predicate.builtin.classify

├─ org.projog.core.predicate.builtin.classify.CharType.class - [JAR]

├─ org.projog.core.predicate.builtin.classify.IsAtom.class - [JAR]

├─ org.projog.core.predicate.builtin.classify.IsAtomic.class - [JAR]

├─ org.projog.core.predicate.builtin.classify.IsCompound.class - [JAR]

├─ org.projog.core.predicate.builtin.classify.IsFloat.class - [JAR]

├─ org.projog.core.predicate.builtin.classify.IsInteger.class - [JAR]

├─ org.projog.core.predicate.builtin.classify.IsList.class - [JAR]

├─ org.projog.core.predicate.builtin.classify.IsNonVar.class - [JAR]

├─ org.projog.core.predicate.builtin.classify.IsNumber.class - [JAR]

├─ org.projog.core.predicate.builtin.classify.IsVar.class - [JAR]

org.projog.core.predicate.builtin.flow

├─ org.projog.core.predicate.builtin.flow.Cut.class - [JAR]

├─ org.projog.core.predicate.builtin.flow.RepeatInfinitely.class - [JAR]

├─ org.projog.core.predicate.builtin.flow.RepeatSetAmount.class - [JAR]

├─ org.projog.core.predicate.builtin.flow.Throw.class - [JAR]

org.projog.core

├─ org.projog.core.ProjogException.class - [JAR]

org.projog.core.math

├─ org.projog.core.math.AbstractArithmeticOperator.class - [JAR]

├─ org.projog.core.math.AbstractBinaryArithmeticOperator.class - [JAR]

├─ org.projog.core.math.AbstractBinaryIntegerArithmeticOperator.class - [JAR]

├─ org.projog.core.math.AbstractUnaryArithmeticOperator.class - [JAR]

├─ org.projog.core.math.ArithmeticOperator.class - [JAR]

├─ org.projog.core.math.ArithmeticOperators.class - [JAR]

├─ org.projog.core.math.Numeric.class - [JAR]

├─ org.projog.core.math.NumericTermComparator.class - [JAR]

├─ org.projog.core.math.PreprocessableArithmeticOperator.class - [JAR]

org.projog.core.predicate.builtin.time

├─ org.projog.core.predicate.builtin.time.ConvertTime.class - [JAR]

├─ org.projog.core.predicate.builtin.time.GetTime.class - [JAR]

org.projog.core.predicate.builtin.bool

├─ org.projog.core.predicate.builtin.bool.Fail.class - [JAR]

├─ org.projog.core.predicate.builtin.bool.True.class - [JAR]

org.projog.core.predicate.builtin.clp

├─ org.projog.core.predicate.builtin.clp.AddExpressionFactory.class - [JAR]

├─ org.projog.core.predicate.builtin.clp.BooleanConstraintPredicate.class - [JAR]

├─ org.projog.core.predicate.builtin.clp.ClpVariable.class - [JAR]

├─ org.projog.core.predicate.builtin.clp.CommonExpression.class - [JAR]

├─ org.projog.core.predicate.builtin.clp.ConstraintFactory.class - [JAR]

├─ org.projog.core.predicate.builtin.clp.CoreConstraintStore.class - [JAR]

├─ org.projog.core.predicate.builtin.clp.Distinct.class - [JAR]

├─ org.projog.core.predicate.builtin.clp.ExpressionFactories.class - [JAR]

├─ org.projog.core.predicate.builtin.clp.ExpressionFactory.class - [JAR]

├─ org.projog.core.predicate.builtin.clp.In.class - [JAR]

├─ org.projog.core.predicate.builtin.clp.NumericConstraintPredicate.class - [JAR]

├─ org.projog.core.predicate.builtin.clp.Resolve.class - [JAR]

org.projog.api

├─ org.projog.api.Projog.class - [JAR]

├─ org.projog.api.ProjogStackTraceElement.class - [JAR]

├─ org.projog.api.QueryPlan.class - [JAR]

├─ org.projog.api.QueryResult.class - [JAR]

├─ org.projog.api.QueryStatement.class - [JAR]

org.projog.core.predicate.builtin.list

├─ org.projog.core.predicate.builtin.list.Append.class - [JAR]

├─ org.projog.core.predicate.builtin.list.AppendListOfLists.class - [JAR]

├─ org.projog.core.predicate.builtin.list.AtomicListConcat.class - [JAR]

├─ org.projog.core.predicate.builtin.list.Delete.class - [JAR]

├─ org.projog.core.predicate.builtin.list.ExtremumList.class - [JAR]

├─ org.projog.core.predicate.builtin.list.Flatten.class - [JAR]

├─ org.projog.core.predicate.builtin.list.Fold.class - [JAR]

├─ org.projog.core.predicate.builtin.list.KeySort.class - [JAR]

├─ org.projog.core.predicate.builtin.list.Last.class - [JAR]

├─ org.projog.core.predicate.builtin.list.Length.class - [JAR]

├─ org.projog.core.predicate.builtin.list.MapList.class - [JAR]

├─ org.projog.core.predicate.builtin.list.Member.class - [JAR]

├─ org.projog.core.predicate.builtin.list.MemberCheck.class - [JAR]

├─ org.projog.core.predicate.builtin.list.Nth.class - [JAR]

├─ org.projog.core.predicate.builtin.list.PairsElements.class - [JAR]

├─ org.projog.core.predicate.builtin.list.PartialApplicationUtils.class - [JAR]

├─ org.projog.core.predicate.builtin.list.Reverse.class - [JAR]

├─ org.projog.core.predicate.builtin.list.Select.class - [JAR]

├─ org.projog.core.predicate.builtin.list.Sort.class - [JAR]

├─ org.projog.core.predicate.builtin.list.SortAsSet.class - [JAR]

├─ org.projog.core.predicate.builtin.list.SubList.class - [JAR]

├─ org.projog.core.predicate.builtin.list.Subset.class - [JAR]

├─ org.projog.core.predicate.builtin.list.SubtractFromList.class - [JAR]

org.projog.core.io

├─ org.projog.core.io.FileHandles.class - [JAR]

org.projog.core.predicate.builtin.io

├─ org.projog.core.predicate.builtin.io.Close.class - [JAR]

├─ org.projog.core.predicate.builtin.io.CurrentInput.class - [JAR]

├─ org.projog.core.predicate.builtin.io.CurrentOutput.class - [JAR]

├─ org.projog.core.predicate.builtin.io.GetChar.class - [JAR]

├─ org.projog.core.predicate.builtin.io.GetCode.class - [JAR]

├─ org.projog.core.predicate.builtin.io.NewLine.class - [JAR]

├─ org.projog.core.predicate.builtin.io.Op.class - [JAR]

├─ org.projog.core.predicate.builtin.io.Open.class - [JAR]

├─ org.projog.core.predicate.builtin.io.PutChar.class - [JAR]

├─ org.projog.core.predicate.builtin.io.Read.class - [JAR]

├─ org.projog.core.predicate.builtin.io.See.class - [JAR]

├─ org.projog.core.predicate.builtin.io.Seen.class - [JAR]

├─ org.projog.core.predicate.builtin.io.SetInput.class - [JAR]

├─ org.projog.core.predicate.builtin.io.SetOutput.class - [JAR]

├─ org.projog.core.predicate.builtin.io.Tab.class - [JAR]

├─ org.projog.core.predicate.builtin.io.Tell.class - [JAR]

├─ org.projog.core.predicate.builtin.io.Told.class - [JAR]

├─ org.projog.core.predicate.builtin.io.Write.class - [JAR]

├─ org.projog.core.predicate.builtin.io.WriteCanonical.class - [JAR]

├─ org.projog.core.predicate.builtin.io.Writef.class - [JAR]

org.projog.tools

├─ org.projog.tools.ProjogConsole.class - [JAR]

Advertisement

Dependencies from Group

Apr 01, 2023
1 usages
27 stars
Jan 03, 2022
1 usages
0 stars
Jan 08, 2023
1 stars

Discover Dependencies

Mar 28, 2019
2 usages
2 stars
Jan 25, 2019
2 usages
428 stars
May 15, 2019
2 usages
326 stars
Jun 04, 2019
2 usages
428 stars
Nov 22, 2020
5 usages
6 stars
Nov 13, 2019
4 usages
65 stars
Aug 30, 2013
7 usages
0 stars
Aug 08, 2023
16 usages
26 stars
Feb 20, 2022
9 usages
12 stars
Mar 19, 2021
7 usages
36.2k stars