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

Download prolog JAR 0.9.97 with all dependencies


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

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

Artifact prolog
Group com.thesett
Version 0.9.97
Last update 27. June 2016
Tags: abstract prolog that over syntax interpreter tree implementation directly works
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.117
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.97

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 - 2024 Weber Informatics LLC | Privacy Policy