2P in Kotlin
github
Clause databases and Theories
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
Default predicates
Errors and Exceptions
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
Abolish
AbsoluteValue
AbstractAssert
AbstractChannel
AbstractChannelStore
AbstractClassicSolver
AbstractCollectionOf
AbstractEndState
AbstractEvaluator
AbstractGetData
AbstractInputChannel
AbstractInvoke
AbstractIterableItems
AbstractOutputChannel
AbstractSetData
AbstractSolver
AbstractState
AbstractState
AbstractTermVisitor
AbstractUnificator
AbstractWrapper
AddClausesToKb
AddDynamicClauses
AddLibraries
AddStaticClauses
Addition
Alias
AliasedLibrary
All
All
AlreadyExecutedState
AlreadyLoadedLibraryException
AlterAliasedLibraries
AlterChannels
AlterChannelsByName
AlterCustomData
AlterFlags
AlterFlagsByEntries
AlterFlagsByName
AlterInputChannels
AlterLibraries
AlterLibrariesByName
AlterLibrary
AlterOperators
AlterOutputChannels
AnyToTermConverterImpl
Append
ArcTangent
Arg
ArithmeticEqual
ArithmeticEvaluator
ArithmeticGreaterThan
ArithmeticGreaterThanOrEqualTo
ArithmeticLowerThan
ArithmeticLowerThanOrEqualTo
ArithmeticNotEqual
ArithmeticRelation
ArrayItems
Arrow
Assert
AssertA
AssertZ
Assign
Assignment
Assignment
AssignmentView
Atom
Atom
AtomChars
AtomCodes
AtomComparator
AtomConcat
AtomLength
Atomic
BagOf
Base
Base
Base
Between
BinaryMathFunction
BinaryRelation
BitwiseAnd
BitwiseComplement
BitwiseLeftShift
BitwiseOr
BitwiseRightShift
Block
BlockIterator
CachedUnificator
Call
Callable
Cast
Cast
Catch
Ceiling
Channel
ChannelStore
CharCode
ChoicePointContext
ClassicExecutionContext
ClassicSolverFactory
Clause
Clause
ClauseCollection
ClauseListener
ClauseMultiSet
ClausePartition
ClausePartitioner
ClauseQueue
ClausesParser
ClausesParserImpl
ClausesReader
ClearFlags
CloseInputChannels
CloseOutputChannels
ColonEquals
Comma
CommonBuiltins
CommonFunctions
CommonPrimitives
CommonRules
Comparison
Compound
Compute
Cons
Constant
ConstructorInvocationException
Contradiction
CopyTerm
Cosine
Couple
CurrentFlag
CurrentOp
CurrentPrologFlag
CustomData
CustomDataStore
CustomTab
Cut
DefaultBuiltins
DefaultBuiltins
DefaultComparator
DefaultTermVisitor
DeobjectificationException
Deobjectifier
Deserializer
Directive
DirectiveListener
DirectiveSelector
DomainError
Dot
DoubleQuotes
DynamicOpListener
Else
Empty
EmptyBlock
EmptyList
EndState
EnsureExecutable
Equation
ErrorUtils
EvaluationError
ExceptionalState
ExecutionContext
ExecutionContextAware
ExhaustiveTermVisitor
ExistenceError
Expected
Expected
Exponential
Exponentiation
ExpressionEvaluator
ExpressionReducer
Fact
Fail
Fail
Failure
Failure
FileTabView
FinalState
FindAll
FlagStore
Float
FloatFractionalPart
FloatIntegerPart
FloatingPointDivision
Floor
FluentReduce
Formatter
FuncFormat
FunctionWrapper
Functional
Functional
Functional
Functional
Functional
Functional
Functor
GetDurable
GetEphemeral
GetPersistent
Ground
Halt
Halt
Halt1
HaltException
HaltView
Identity
If
Indicator
Info
InitializationIssue
InputChannel
InputStore
InstantiationError
Integer
Integer
IntegerComparator
IntegerDivision
IntegersBinaryMathFunction
IntermediateState
InvalidTermTypeException
Invocation
InvokeMethod
InvokeStrict
Is
JsClassName
Json
LastCallOptimization
Left
Libraries
Library
LibraryAliasedImpl
LibraryException
LibraryGroup
LibraryImpl
LibraryView
Limit
List
ListCellView
ListItems
ListIterator
Listener
LoadLibrary
LogicError
LogicFunction
MagicCut
MagicTerm
MalformedAliasException
MathFunction
MaxArity
Member
MessageError
MethodInvocationException
MimeType
MissingPredicate
ModelConfigurator
Modulo
Multiplication
MutableClauseCollection
MutableClauseMultiSet
MutableClauseQueue
MutableSolutionIterator
MutableSolver
MutableTheory
Natural
NaturalLogarithm
NegationAsFailure
NewLine
NewObject2
NewObject3
No
NoSuchALibraryException
NoSuchAnAliasException
NoUnifyException
NoView
NonBacktrackable
NonBacktrackable
NonBacktrackable
NonBacktrackable
NonBacktrackable
NonBacktrackable
NonVar
None
Not
NotUnifiableWith
NotableFlag
NullInputException
NullRef
NullRef
NullaryMathFunction
Number
NumberChars
NumberCodes
Numeric
OOPLib
ObjectRef
ObjectRef
ObjectToTermConverter
ObjectType
Objectifier
ObjectsUtils
OccurCheckException
Once
OopException
OopRuntimeException
Op
OpFormat
OpenInputChannels
OpenOutputChannels
Operation
Operator
OperatorSet
OperatorsIndex
Or
OutputChannel
OutputStore
OverloadSelector
ParseException
Permission
PermissionError
Platform
PredicateWithoutArguments
Predicative
Predicative
Predicative
Predicative
Predicative
Predicative
Primitive
PrimitiveWrapper
Primitives
PrintStreamChannel
PrologAwareScope
PrologExpressionVisitor
PrologParserFactory
PrologScope
PrologScopeWithTheories
PrologScopeWithTheoriesImpl
PrologScopeWithUnification
PrologScopeWithUnificationImpl
PrologStdLibScope
PrologVisitor
PropertyAssignmentException
PropertyReduce
QuaternaryRelation
QuinaryRelation
ReaderChannel
ReadingDeserializer
ReadingTermDeserializer
ReadingTheoryDeserializer
Real
RealComparator
Recursive
Recursive
Recursive
Recursive
Recursive
Ref
Ref
Register
Remainder
RemoveClausesFromKb
RemoveDynamicClauses
RemoveOperators
RemoveStaticClauses
Repeat
RepresentationError
Request
Request
ResetDynamicKb
ResetFlags
ResetInputChannels
ResetLibraries
ResetOperators
ResetOutputChannels
ResetStaticKb
ResolutionException
Response
Response
Result
ReteTree
Retract
RetractAll
RetractResult
RetrieveResult
Reverse
Right
Round
Rule
RuleWrapper
Rules
RuntimePermissionException
Scope
Semicolon
SerializationException
Serializer
SetClausesOfKb
SetDurable
SetDurableData
SetEphemeral
SetEphemeralData
SetFlag
SetFlags
SetItems
SetOf
SetOperators
SetPersistent
SetPersistentData
SetPrologFlag
SideEffect
SideEffectFactory
SideEffectManager
SideEffectsBuilder
SideEffectsBuilderImpl
Sign
SignReversal
Signature
Sine
SkippingLast
SkippingLast
Sleep
Solution
SolutionFormatter
SolutionIterator
SolutionView
Solve
SolveOptions
Solver
SolverEvent
SolverFactory
SolverStrategies
SpecificRules
Specifier
SquareRoot
State
State
State
StateBacktracking
StateEnd
StateException
StateGoalSelection
StateHalt
StateInit
StatePrimitiveExecution
StatePrimitiveSelection
StateRuleExecution
StateRuleSelection
StreamsSolverFactory
Struct
StructComparator
SubAtom
Substituting
Substitution
SubstitutionApplicationException
SubstitutionException
Subtraction
Success
Success
Success
SyntaxColoring
SyntaxError
SystemError
Term
TermComparator
TermConvertible
TermDeobjectifier
TermDeserializer
TermFormatter
TermGreaterThan
TermGreaterThanOrEqualTo
TermIdentical
TermLowerThan
TermLowerThanOrEqualTo
TermNotIdentical
TermNotSame
TermObjectifier
TermParser
TermParserImpl
TermReader
TermReaderImpl
TermSame
TermSerializer
TermToObjectConversionException
TermToObjectConverter
TermVisitor
Terms
TernaryRelation
Then
Theory
TheoryDeobjectifier
TheoryDeserializer
TheoryObjectifier
TheorySerializer
Throw
TimeDuration
TimeInstant
TimeOutException
TimedState
ToFloat
Trivial
Truncate
Truth
TuPrologCmd
TuPrologException
TuPrologIDEApplication
TuPrologIDEBuilder
TuPrologIDEController
TuPrologIDEModel
TuPrologSolveQuery
TuPrologUtils
Tuple
TupleIterator
Type
Type
TypeEnsurer
TypeError
TypeFactory
TypeRef
TypeRef
TypeTester
UnaryMathFunction
UnaryPredicate
Unificator
Unifier
UnifiesWith
Univ
Unknown
UnloadLibraries
Unregister
UpdateLibrary
Value
Var
Var
VarComparator
VarFormat
VariableProvider
VariablesAwareScope
Warning
WithoutSideEffects
WithoutSideEffects
WithoutSideEffects
WithoutSideEffects
WithoutSideEffects
WithoutSideEffects
Write
WriterChannel
WritingSerializer
WritingTermSerializer
WritingTheorySerializer
Xml
YAML
Yaml
Yes
YesView
ZeroaryPredicate
Packages
it.unibo.tuprolog
it.unibo.tuprolog.collections
it.unibo.tuprolog.collections.impl
it.unibo.tuprolog.collections.rete
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.core.parsing
it.unibo.tuprolog.core.visitors
it.unibo.tuprolog.dsl
it.unibo.tuprolog.dsl.theory
it.unibo.tuprolog.dsl.unify
it.unibo.tuprolog.serialize
it.unibo.tuprolog.solve
it.unibo.tuprolog.solve.channel
it.unibo.tuprolog.solve.channel.impl
it.unibo.tuprolog.solve.classic
it.unibo.tuprolog.solve.classic.fsm
it.unibo.tuprolog.solve.classic.impl
it.unibo.tuprolog.solve.classic.stdlib
it.unibo.tuprolog.solve.classic.stdlib.primitive
it.unibo.tuprolog.solve.classic.stdlib.rule
it.unibo.tuprolog.solve.data
it.unibo.tuprolog.solve.directives
it.unibo.tuprolog.solve.exception
it.unibo.tuprolog.solve.exception.error
it.unibo.tuprolog.solve.exception.warning
it.unibo.tuprolog.solve.flags
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.libs.oop
it.unibo.tuprolog.solve.libs.oop.exceptions
it.unibo.tuprolog.solve.libs.oop.impl
it.unibo.tuprolog.solve.libs.oop.primitives
it.unibo.tuprolog.solve.libs.oop.rules
it.unibo.tuprolog.solve.primitive
it.unibo.tuprolog.solve.rule
it.unibo.tuprolog.solve.sideffects
it.unibo.tuprolog.solve.sideffects.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.solve.streams
it.unibo.tuprolog.solve.streams.solver
it.unibo.tuprolog.solve.streams.solver.fsm
it.unibo.tuprolog.solve.streams.solver.fsm.impl
it.unibo.tuprolog.solve.streams.stdlib
it.unibo.tuprolog.solve.streams.stdlib.primitive
it.unibo.tuprolog.theory
it.unibo.tuprolog.theory.impl
it.unibo.tuprolog.theory.parsing
it.unibo.tuprolog.ui.gui
it.unibo.tuprolog.ui.repl
it.unibo.tuprolog.unify
it.unibo.tuprolog.unify.exception
Currently 0.20.4-dev03+7d9c6c67. Created with
Orchid
and
Orchid Editorial Theme
.