View Java Class Source Code in JAR file
- Download JD-GUI to open JAR file and explore Java source code file (.class .java)
- Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window core-jvm-0.31.13.jar file.
Once you open a JAR file, all the java classes in the JAR file will be displayed.
it.unibo.tuprolog.core
├─ it.unibo.tuprolog.core.Applicable.class - [JAR]
├─ it.unibo.tuprolog.core.Atom.class - [JAR]
├─ it.unibo.tuprolog.core.Block.class - [JAR]
├─ it.unibo.tuprolog.core.BlockIterator.class - [JAR]
├─ it.unibo.tuprolog.core.Clause.class - [JAR]
├─ it.unibo.tuprolog.core.ClauseExtensions.class - [JAR]
├─ it.unibo.tuprolog.core.ComparisonUtilsKt.class - [JAR]
├─ it.unibo.tuprolog.core.Cons.class - [JAR]
├─ it.unibo.tuprolog.core.Constant.class - [JAR]
├─ it.unibo.tuprolog.core.Conversions.class - [JAR]
├─ it.unibo.tuprolog.core.Directive.class - [JAR]
├─ it.unibo.tuprolog.core.Empty.class - [JAR]
├─ it.unibo.tuprolog.core.EmptyBlock.class - [JAR]
├─ it.unibo.tuprolog.core.EmptyList.class - [JAR]
├─ it.unibo.tuprolog.core.Fact.class - [JAR]
├─ it.unibo.tuprolog.core.Formatter.class - [JAR]
├─ it.unibo.tuprolog.core.FormatterExtensions.class - [JAR]
├─ it.unibo.tuprolog.core.Indicator.class - [JAR]
├─ it.unibo.tuprolog.core.Integer.class - [JAR]
├─ it.unibo.tuprolog.core.List.class - [JAR]
├─ it.unibo.tuprolog.core.ListIterator.class - [JAR]
├─ it.unibo.tuprolog.core.Numeric.class - [JAR]
├─ it.unibo.tuprolog.core.Real.class - [JAR]
├─ it.unibo.tuprolog.core.Recursive.class - [JAR]
├─ it.unibo.tuprolog.core.Rule.class - [JAR]
├─ it.unibo.tuprolog.core.Scope.class - [JAR]
├─ it.unibo.tuprolog.core.Struct.class - [JAR]
├─ it.unibo.tuprolog.core.Substitution.class - [JAR]
├─ it.unibo.tuprolog.core.SubstitutionImpl.class - [JAR]
├─ it.unibo.tuprolog.core.Term.class - [JAR]
├─ it.unibo.tuprolog.core.TermComparator.class - [JAR]
├─ it.unibo.tuprolog.core.TermConvertible.class - [JAR]
├─ it.unibo.tuprolog.core.TermFormatter.class - [JAR]
├─ it.unibo.tuprolog.core.TermVisitor.class - [JAR]
├─ it.unibo.tuprolog.core.Terms.class - [JAR]
├─ it.unibo.tuprolog.core.Truth.class - [JAR]
├─ it.unibo.tuprolog.core.Tuple.class - [JAR]
├─ it.unibo.tuprolog.core.TupleIterator.class - [JAR]
├─ it.unibo.tuprolog.core.Var.class - [JAR]
├─ it.unibo.tuprolog.core.Variabled.class - [JAR]
├─ it.unibo.tuprolog.core.VariablesProvider.class - [JAR]
it.unibo.tuprolog.core.visitors
├─ it.unibo.tuprolog.core.visitors.AbstractTermVisitor.class - [JAR]
├─ it.unibo.tuprolog.core.visitors.DefaultTermVisitor.class - [JAR]
├─ it.unibo.tuprolog.core.visitors.ExhaustiveTermVisitor.class - [JAR]
it.unibo.tuprolog.core.operators
├─ it.unibo.tuprolog.core.operators.Operator.class - [JAR]
├─ it.unibo.tuprolog.core.operators.OperatorSet.class - [JAR]
├─ it.unibo.tuprolog.core.operators.OperatorsIndex.class - [JAR]
├─ it.unibo.tuprolog.core.operators.Specifier.class - [JAR]
it.unibo.tuprolog
├─ it.unibo.tuprolog.Info.class - [JAR]
├─ it.unibo.tuprolog.IntrospectionKt.class - [JAR]
├─ it.unibo.tuprolog.Os.class - [JAR]
├─ it.unibo.tuprolog.Platform.class - [JAR]
it.unibo.tuprolog.core.exception
├─ it.unibo.tuprolog.core.exception.SubstitutionApplicationException.class - [JAR]
├─ it.unibo.tuprolog.core.exception.SubstitutionException.class - [JAR]
├─ it.unibo.tuprolog.core.exception.TuPrologException.class - [JAR]
it.unibo.tuprolog.core.impl
├─ it.unibo.tuprolog.core.impl.AbstractCons.class - [JAR]
├─ it.unibo.tuprolog.core.impl.AbstractStruct.class - [JAR]
├─ it.unibo.tuprolog.core.impl.AbstractTermFormatter.class - [JAR]
├─ it.unibo.tuprolog.core.impl.AbstractTermFormatterForVariables.class - [JAR]
├─ it.unibo.tuprolog.core.impl.AtomImpl.class - [JAR]
├─ it.unibo.tuprolog.core.impl.BlockImpl.class - [JAR]
├─ it.unibo.tuprolog.core.impl.BlockUnfolder.class - [JAR]
├─ it.unibo.tuprolog.core.impl.ClauseImpl.class - [JAR]
├─ it.unibo.tuprolog.core.impl.ConsImpl.class - [JAR]
├─ it.unibo.tuprolog.core.impl.DirectiveImpl.class - [JAR]
├─ it.unibo.tuprolog.core.impl.EmptyBlockImpl.class - [JAR]
├─ it.unibo.tuprolog.core.impl.EmptyListImpl.class - [JAR]
├─ it.unibo.tuprolog.core.impl.FactImpl.class - [JAR]
├─ it.unibo.tuprolog.core.impl.IndicatorImpl.class - [JAR]
├─ it.unibo.tuprolog.core.impl.IntegerImpl.class - [JAR]
├─ it.unibo.tuprolog.core.impl.LazyConsWithExplicitLast.class - [JAR]
├─ it.unibo.tuprolog.core.impl.LazyConsWithImplicitLast.class - [JAR]
├─ it.unibo.tuprolog.core.impl.ListUnfolder.class - [JAR]
├─ it.unibo.tuprolog.core.impl.NumericImpl.class - [JAR]
├─ it.unibo.tuprolog.core.impl.RealImpl.class - [JAR]
├─ it.unibo.tuprolog.core.impl.RecursiveImpl.class - [JAR]
├─ it.unibo.tuprolog.core.impl.RuleImpl.class - [JAR]
├─ it.unibo.tuprolog.core.impl.ScopeImpl.class - [JAR]
├─ it.unibo.tuprolog.core.impl.SimpleTermFormatter.class - [JAR]
├─ it.unibo.tuprolog.core.impl.StructImpl.class - [JAR]
├─ it.unibo.tuprolog.core.impl.TermFormatterWithAnonymousVariables.class - [JAR]
├─ it.unibo.tuprolog.core.impl.TermFormatterWithPrettyExpressions.class - [JAR]
├─ it.unibo.tuprolog.core.impl.TermFormatterWithPrettyVariables.class - [JAR]
├─ it.unibo.tuprolog.core.impl.TermImpl.class - [JAR]
├─ it.unibo.tuprolog.core.impl.TermImplementationHelperJvmKt.class - [JAR]
├─ it.unibo.tuprolog.core.impl.TermImplementationHelperKt.class - [JAR]
├─ it.unibo.tuprolog.core.impl.TruthImpl.class - [JAR]
├─ it.unibo.tuprolog.core.impl.TupleImpl.class - [JAR]
├─ it.unibo.tuprolog.core.impl.TupleUnfolder.class - [JAR]
├─ it.unibo.tuprolog.core.impl.VarImpl.class - [JAR]
├─ it.unibo.tuprolog.core.impl.VariablesProviderImpl.class - [JAR]
