2P in Kotlin
github
State Machine
TODO: write
Search Results
Loading...
2P in Kotlin
Home
Contacts
History
Philosophy
Wiki
Developers Guide
Project map
Git and Git-Flow
Kotlin multi-platform
Gradle multi-project
Kotlin DSL
Developing 2P-Kt with IntelliJ Idea
Continuous Integration
Documentation with Orchid and GitLab Pages
Parsing Prolog with ANTLR
Rationale And Architecture
Term Hierarchy
Logic variables
Unification
Clause databases and Theories
Resolution
Primitives and Functions
Libraries
State Machine
Prolog DSL
Prolog Parsing
Users Guide
Using 2P-Kt programmatically in Kotlin
Using 2P-Kt programmatically in Java
Using 2P-Kt programmatically in JavaScript
API Docs
Classes
AbsoluteValue
AbstractAssert
AbstractChannel
AbstractInputChannel
AbstractOutputChannel
AbstractState
AbstractUnificator
AbstractWrapper
AddDynamicClauses
AddLibraries
AddStaticClauses
Addition
AliasedLibrary
AlreadyExecutedState
AlreadyLoadedLibraryException
AnyToTermConverterImpl
Append
ArcTangent
ArithmeticEqual
ArithmeticEvaluator
ArithmeticGreaterThan
ArithmeticGreaterThanOrEqualTo
ArithmeticLowerThan
ArithmeticLowerThanOrEqualTo
ArithmeticNotEqual
ArithmeticRelation
Arrow
Assert
AssertA
AssertZ
Assignment
Atom
Atom
AtomComparator
Atomic
Base
Base
BinaryMathFunction
BinaryRelation
BitwiseAnd
BitwiseComplement
BitwiseLeftShift
BitwiseOr
BitwiseRightShift
Cache
Cached
CachedImpl
CachedUnificator
Call
Callable
Catch
Ceiling
Channel
ChoicePointContext
ClassicExecutionContext
ClassicSolverFactory
Clause
ClauseCollection
ClauseMultiSet
ClauseQueue
ClearFlags
CloseInputChannels
CloseOutputChannels
Collection
Comma
CommonBuiltins
CommonRules
Comparison
Compound
Compute
Cons
Constant
Contradiction
Cosine
CurrentOp
Cursor
Cut
DefaultBuiltins
DefaultComparator
Directive
DomainError
Else
Empty
EmptyList
EmptySet
EndState
EnsureExecutable
Equation
ErrorUtils
EvaluationError
ExceptionalState
ExecutionContext
ExecutionContextAware
Expected
Expected
Exponential
Exponentiation
ExpressionEvaluator
Fact
Fail
Fail
Failure
Failure
FinalState
FindAll
Float
FloatFractionalPart
FloatIntegerPart
FloatingPointDivision
Floor
Formatter
FunctionWrapper
Functional
Functional
Functional
Functional
Functor
Ground
Halt
Halt
HaltException
Identity
If
Indexed
Indicator
InputChannel
InstantiationError
IntIndexed
Integer
Integer
IntegerComparator
IntegerDivision
IntegersBinaryMathFunction
IntermediateState
InvalidClauseException
Is
Left
Libraries
Library
LibraryAliasedImpl
LibraryException
LibraryGroup
LibraryImpl
List
Listener
LoadLibrary
LongIndexed
MagicCut
MagicTerm
MathFunction
Member
MessageError
MetaError
Modulo
Multiplication
MutableClauseCollection
MutableClauseMultiSet
MutableClauseQueue
MutableSolver
Natural
NaturalLogarithm
NegationAsFailure
NewLine
No
NoSuchALibraryException
NoUnifyException
NonBacktrackable
NonBacktrackable
NonBacktrackable
NonBacktrackable
NonVar
None
Not
NotUnifiableWith
NullaryMathFunction
Number
Numeric
OccurCheckException
Op
OpenInputChannels
OpenOutputChannels
Operator
OperatorSet
OperatorsIndex
Optional
Or
OutputChannel
PredicateWithoutArguments
Predicative
Predicative
Predicative
Predicative
Primitive
PrimitiveWrapper
Primitives
Prolog
PrologError
PrologFlags
PrologFunction
PrologInputChannels
PrologOutputChannels
PrologWarning
PrologWithTheories
PrologWithTheoriesImpl
PrologWithUnification
PrologWithUnificationImpl
Real
RealComparator
Recursive
Recursive
Remainder
RemoveDynamicClauses
RemoveOperators
RemoveStaticClauses
Request
Request
ResetDynamicKb
ResetFlags
ResetInputChannels
ResetLibraries
ResetOperators
ResetOutputChannels
ResetStaticKb
Response
Response
ReteTree
Retract
RetractAll
RetractResult
RetrieveResult
Right
Round
Rule
RuleWrapper
Rules
Scope
Semicolon
Set
SetFlags
SetOperators
SideEffect
SideEffectFactory
SideEffectManager
SideEffectsBuilder
Sign
SignReversal
Signature
Sine
Sleep
Solution
Solve
Solver
SolverFactory
SolverStrategies
Some
SpecificRules
Specifier
SquareRoot
State
State
StreamsSolverFactory
Struct
StructComparator
Substitution
Subtraction
Success
Success
Success
SystemError
Term
TermComparator
TermFormatter
TermGreaterThan
TermGreaterThanOrEqualTo
TermIdentical
TermLowerThan
TermLowerThanOrEqualTo
TermNotIdentical
TermVisitor
TernaryRelation
Then
Theory
Throw
TimeDuration
TimeInstant
TimeOutException
TimedState
ToFloat
ToTermConvertible
Truncate
Truth
TuPrologException
TuPrologRuntimeException
Tuple
Type
TypeEnsurer
TypeError
TypeTester
UnaryMathFunction
UnaryPredicate
Unificator
Unifier
UnifiesWith
Univ
UnloadLibraries
UpdateLibrary
Var
Var
VarComparator
WithoutSideEffects
WithoutSideEffects
WithoutSideEffects
WithoutSideEffects
Write
Yes
ZeroaryPredicate
Packages
it.unibo.tuprolog.collections
it.unibo.tuprolog.collections.impl
it.unibo.tuprolog.collections.rete.custom
it.unibo.tuprolog.collections.rete.custom.clause
it.unibo.tuprolog.collections.rete.custom.leaf
it.unibo.tuprolog.collections.rete.custom.nodes
it.unibo.tuprolog.collections.rete.generic
it.unibo.tuprolog.collections.rete.generic.set
it.unibo.tuprolog.core
it.unibo.tuprolog.core.exception
it.unibo.tuprolog.core.impl
it.unibo.tuprolog.core.operators
it.unibo.tuprolog.dsl
it.unibo.tuprolog.dsl.theory
it.unibo.tuprolog.dsl.unify
it.unibo.tuprolog.solve
it.unibo.tuprolog.solve.channel
it.unibo.tuprolog.solve.channel.impl
it.unibo.tuprolog.solve.exception
it.unibo.tuprolog.solve.exception.error
it.unibo.tuprolog.solve.fsm
it.unibo.tuprolog.solve.function
it.unibo.tuprolog.solve.impl
it.unibo.tuprolog.solve.library
it.unibo.tuprolog.solve.library.exception
it.unibo.tuprolog.solve.library.impl
it.unibo.tuprolog.solve.primitive
it.unibo.tuprolog.solve.rule
it.unibo.tuprolog.solve.solver
it.unibo.tuprolog.solve.solver.fsm
it.unibo.tuprolog.solve.solver.fsm.impl
it.unibo.tuprolog.solve.stdlib
it.unibo.tuprolog.solve.stdlib.function
it.unibo.tuprolog.solve.stdlib.magic
it.unibo.tuprolog.solve.stdlib.primitive
it.unibo.tuprolog.solve.stdlib.rule
it.unibo.tuprolog.theory
it.unibo.tuprolog.theory.impl
it.unibo.tuprolog.unify
it.unibo.tuprolog.unify.exception
it.unibo.tuprolog.utils
it.unibo.tuprolog.utils.impl
Currently 0.11.1. Created with
Orchid
and
Orchid Editorial Theme
.