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

    Download prolog JAR 0.9.117 with all dependencies


    Implementation of a Prolog interpreter that works directly over the abstract syntax tree.

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

    Test

    Download prolog (0.9.117)
    Artifact prolog
    Group com.thesett
    Version 0.9.117
    Organization not specified
    URL https://www.thesett.com/build_reports/lojix/prolog
    License not specified
    Dependencies amount 4
    Dependencies common, logic, interpreter, logic,
    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 prolog Show documentation

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

    10 downloads

    Source code of prolog version 0.9.117

    META-INF
    META-INF.META-INF.MANIFEST.MF
    com.thesett.aima.logic.fol.prolog
    com.thesett.aima.logic.fol.prolog.com.thesett.aima.logic.fol.prolog.PrologCompiledClause
    com.thesett.aima.logic.fol.prolog.com.thesett.aima.logic.fol.prolog.PrologCompiler
    com.thesett.aima.logic.fol.prolog.com.thesett.aima.logic.fol.prolog.PrologEngine
    com.thesett.aima.logic.fol.prolog.com.thesett.aima.logic.fol.prolog.PrologInterpreter
    com.thesett.aima.logic.fol.prolog.com.thesett.aima.logic.fol.prolog.PrologResolver
    com.thesett.aima.logic.fol.prolog.com.thesett.aima.logic.fol.prolog.PrologUnifier
    com.thesett.aima.logic.fol.prolog.com.thesett.aima.logic.fol.prolog.StackVariable
    com.thesett.aima.logic.fol.prolog.com.thesett.aima.logic.fol.prolog.StackVariableTransform
    com.thesett.aima.logic.fol.prolog.com.thesett.aima.logic.fol.prolog.VariableBindingContextSupplier
    com.thesett.aima.logic.fol.prolog.com.thesett.aima.logic.fol.prolog.VariableBindingStackFrame
    com.thesett.aima.logic.fol.prolog.builtins
    com.thesett.aima.logic.fol.prolog.builtins.com.thesett.aima.logic.fol.prolog.builtins.BaseBuiltIn
    com.thesett.aima.logic.fol.prolog.builtins.com.thesett.aima.logic.fol.prolog.builtins.BinaryArithmeticComparison
    com.thesett.aima.logic.fol.prolog.builtins.com.thesett.aima.logic.fol.prolog.builtins.BuiltIn
    com.thesett.aima.logic.fol.prolog.builtins.com.thesett.aima.logic.fol.prolog.builtins.BuiltInFunctor
    com.thesett.aima.logic.fol.prolog.builtins.com.thesett.aima.logic.fol.prolog.builtins.BuiltInTransform
    com.thesett.aima.logic.fol.prolog.builtins.com.thesett.aima.logic.fol.prolog.builtins.BuiltInUtils
    com.thesett.aima.logic.fol.prolog.builtins.com.thesett.aima.logic.fol.prolog.builtins.Call
    com.thesett.aima.logic.fol.prolog.builtins.com.thesett.aima.logic.fol.prolog.builtins.Cut
    com.thesett.aima.logic.fol.prolog.builtins.com.thesett.aima.logic.fol.prolog.builtins.DefaultBuiltIn
    com.thesett.aima.logic.fol.prolog.builtins.com.thesett.aima.logic.fol.prolog.builtins.Disjunction
    com.thesett.aima.logic.fol.prolog.builtins.com.thesett.aima.logic.fol.prolog.builtins.Fail
    com.thesett.aima.logic.fol.prolog.builtins.com.thesett.aima.logic.fol.prolog.builtins.FirstStepBuiltIn
    com.thesett.aima.logic.fol.prolog.builtins.com.thesett.aima.logic.fol.prolog.builtins.FloatCheck
    com.thesett.aima.logic.fol.prolog.builtins.com.thesett.aima.logic.fol.prolog.builtins.GreaterThan
    com.thesett.aima.logic.fol.prolog.builtins.com.thesett.aima.logic.fol.prolog.builtins.GreaterThanOrEqual
    com.thesett.aima.logic.fol.prolog.builtins.com.thesett.aima.logic.fol.prolog.builtins.IntegerCheck
    com.thesett.aima.logic.fol.prolog.builtins.com.thesett.aima.logic.fol.prolog.builtins.Is
    com.thesett.aima.logic.fol.prolog.builtins.com.thesett.aima.logic.fol.prolog.builtins.LessThan
    com.thesett.aima.logic.fol.prolog.builtins.com.thesett.aima.logic.fol.prolog.builtins.LessThanOrEqual
    com.thesett.aima.logic.fol.prolog.builtins.com.thesett.aima.logic.fol.prolog.builtins.NonUnifies
    com.thesett.aima.logic.fol.prolog.builtins.com.thesett.aima.logic.fol.prolog.builtins.PrologUnifier
    com.thesett.aima.logic.fol.prolog.builtins.com.thesett.aima.logic.fol.prolog.builtins.ResolutionState
    com.thesett.aima.logic.fol.prolog.builtins.com.thesett.aima.logic.fol.prolog.builtins.True
    com.thesett.aima.logic.fol.prolog.builtins.com.thesett.aima.logic.fol.prolog.builtins.Unifies
    com.thesett.aima.logic.fol.prolog.expressions
    com.thesett.aima.logic.fol.prolog.expressions.com.thesett.aima.logic.fol.prolog.expressions.BinaryArithmeticOperator
    com.thesett.aima.logic.fol.prolog.expressions.com.thesett.aima.logic.fol.prolog.expressions.BuiltInExpressionOperator
    com.thesett.aima.logic.fol.prolog.expressions.com.thesett.aima.logic.fol.prolog.expressions.BuiltInExpressionTransform
    com.thesett.aima.logic.fol.prolog.expressions.com.thesett.aima.logic.fol.prolog.expressions.Divide
    com.thesett.aima.logic.fol.prolog.expressions.com.thesett.aima.logic.fol.prolog.expressions.Exponential
    com.thesett.aima.logic.fol.prolog.expressions.com.thesett.aima.logic.fol.prolog.expressions.Minus
    com.thesett.aima.logic.fol.prolog.expressions.com.thesett.aima.logic.fol.prolog.expressions.Multiply
    com.thesett.aima.logic.fol.prolog.expressions.com.thesett.aima.logic.fol.prolog.expressions.Plus
    com.thesett.aima.logic.fol.prolog.expressions.com.thesett.aima.logic.fol.prolog.expressions.UMinus
    com.thesett.aima.logic.fol.prolog.expressions.com.thesett.aima.logic.fol.prolog.expressions.UnaryArithmeticOperator




    © 2015 - 2025 Weber Informatics LLC | Privacy Policy