All Downloads are FREE. Search and download functionalities are using the official Maven repository.
  • Log In
  • Register
    • Search JAR files by class name

    Download logic JAR 0.9.117 with all dependencies


    Rich syntax trees and parsers for working with first order logic.

    Files of the artifact logic version 0.9.117 from the group com.thesett.

    Test

    Download logic (0.9.117)
    Artifact logic
    Group com.thesett
    Version 0.9.117
    Organization not specified
    URL https://www.thesett.com/build_reports/lojix/logic
    License not specified
    Dependencies amount 2
    Dependencies common, power_model,
    There are maybe transitive dependencies!
    There is a newer version: 0.9.97
    Show newest version
    Show more of this group  Show more artifacts with this name
    Show all versions of logic Show documentation

    Please rate this JAR file. Is it a good library?

    0 downloads

    Source code of logic version 0.9.117

    META-INF
    META-INF.META-INF.MANIFEST.MF
    .builtins.pl
    com.thesett.aima.logic.fol
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.AllTermsVisitor
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.BasePositionalVisitor
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.BaseTerm
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.BaseTermTransformer
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.Clause
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.ClauseTransformer
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.ClauseTraverser
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.ClauseVisitor
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.Cons
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.DelegatingAllTermsVisitor
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.DoubleLiteral
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.FloatLiteral
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.FreeNonAnonymousVariablePredicate
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.FreeVariablePredicate
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.Functor
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.FunctorName
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.FunctorTermPredicate
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.FunctorTransformer
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.FunctorTraverser
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.FunctorVisitor
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.IntLiteral
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.IntegerType
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.IntegerTypeVisitor
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.LinkageException
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.LiteralType
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.LiteralTypeVisitor
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.LogicCompiler
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.LogicCompilerObserver
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.LongLiteral
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.MarkerTerm
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.Nil
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.NumericType
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.NumericTypeVisitor
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.OpSymbol
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.Parser
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.PositionalTermVisitor
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.Predicate
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.PredicateTraverser
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.PredicateVisitor
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.RealType
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.RecursiveList
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.Resolver
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.Sentence
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.SentenceImpl
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.StringLiteral
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.Term
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.TermTransformer
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.TermTraverser
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.TermUtils
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.TermVisitor
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.Unifier
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.Variable
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.VariableAndFunctorInterner
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.VariableAndFunctorInternerImpl
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.VariableBindingContext
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.VariableTermPredicate
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.VariableTransformer
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.VariableVisitor
    com.thesett.aima.logic.fol.builder
    com.thesett.aima.logic.fol.builder.com.thesett.aima.logic.fol.builder.TermBuilder
    com.thesett.aima.logic.fol.bytecode
    com.thesett.aima.logic.fol.bytecode.com.thesett.aima.logic.fol.bytecode.BaseByteArrayCodeMachine
    com.thesett.aima.logic.fol.bytecode.com.thesett.aima.logic.fol.bytecode.BaseCodeMachine
    com.thesett.aima.logic.fol.bytecode.com.thesett.aima.logic.fol.bytecode.BaseMachine
    com.thesett.aima.logic.fol.bytecode.com.thesett.aima.logic.fol.bytecode.CallPoint
    com.thesett.aima.logic.fol.bytecode.com.thesett.aima.logic.fol.bytecode.CallPointResolver
    com.thesett.aima.logic.fol.bytecode.com.thesett.aima.logic.fol.bytecode.CodeMachine
    com.thesett.aima.logic.fol.bytecode.com.thesett.aima.logic.fol.bytecode.InstructionEncoder
    com.thesett.aima.logic.fol.bytecode.com.thesett.aima.logic.fol.bytecode.InstructionListing
    com.thesett.aima.logic.fol.compiler
    com.thesett.aima.logic.fol.compiler.com.thesett.aima.logic.fol.compiler.AnnotatingVisitor
    com.thesett.aima.logic.fol.compiler.com.thesett.aima.logic.fol.compiler.BasicTraverser
    com.thesett.aima.logic.fol.compiler.com.thesett.aima.logic.fol.compiler.DefaultTraverser
    com.thesett.aima.logic.fol.compiler.com.thesett.aima.logic.fol.compiler.PositionalContext
    com.thesett.aima.logic.fol.compiler.com.thesett.aima.logic.fol.compiler.PositionalTermTraverser
    com.thesett.aima.logic.fol.compiler.com.thesett.aima.logic.fol.compiler.PositionalTermTraverserImpl
    com.thesett.aima.logic.fol.compiler.com.thesett.aima.logic.fol.compiler.SymbolKeyTraverser
    com.thesett.aima.logic.fol.compiler.com.thesett.aima.logic.fol.compiler.TermWalker
    com.thesett.aima.logic.fol.interpreter
    com.thesett.aima.logic.fol.interpreter.com.thesett.aima.logic.fol.interpreter.ResolutionEngine
    com.thesett.aima.logic.fol.isoprologparser
    com.thesett.aima.logic.fol.isoprologparser.com.thesett.aima.logic.fol.isoprologparser.BasePrologParser
    com.thesett.aima.logic.fol.isoprologparser.com.thesett.aima.logic.fol.isoprologparser.CandidateOpSymbol
    com.thesett.aima.logic.fol.isoprologparser.com.thesett.aima.logic.fol.isoprologparser.ClauseParser
    com.thesett.aima.logic.fol.isoprologparser.com.thesett.aima.logic.fol.isoprologparser.DynamicOperatorParser
    com.thesett.aima.logic.fol.isoprologparser.com.thesett.aima.logic.fol.isoprologparser.OperatorTable
    com.thesett.aima.logic.fol.isoprologparser.com.thesett.aima.logic.fol.isoprologparser.ParseException
    com.thesett.aima.logic.fol.isoprologparser.com.thesett.aima.logic.fol.isoprologparser.PrologParser
    com.thesett.aima.logic.fol.isoprologparser.com.thesett.aima.logic.fol.isoprologparser.PrologParserConstants
    com.thesett.aima.logic.fol.isoprologparser.com.thesett.aima.logic.fol.isoprologparser.PrologParserTokenManager
    com.thesett.aima.logic.fol.isoprologparser.com.thesett.aima.logic.fol.isoprologparser.SentenceParser
    com.thesett.aima.logic.fol.isoprologparser.com.thesett.aima.logic.fol.isoprologparser.SimpleCharStream
    com.thesett.aima.logic.fol.isoprologparser.com.thesett.aima.logic.fol.isoprologparser.TermParser
    com.thesett.aima.logic.fol.isoprologparser.com.thesett.aima.logic.fol.isoprologparser.Token
    com.thesett.aima.logic.fol.isoprologparser.com.thesett.aima.logic.fol.isoprologparser.TokenMgrError
    com.thesett.aima.logic.fol.isoprologparser.com.thesett.aima.logic.fol.isoprologparser.TokenSource
    com.thesett.aima.logic.fol
    com.thesett.aima.logic.fol.com.thesett.aima.logic.fol.package.html




    © 2015 - 2025 Weber Informatics LLC | Privacy Policy