Prolog-as-ScalaDSL
Prolog-as-ScalaDSL
API
io.github.kelvindev15.prolog
core
theory
Theory
Theory
Constant
Constant
Atom
Atom
Numeric
Numeric
Goals
Conjunction
Conjunction
Disjunction
Disjunction
Prolog
Functors
Syntax
PrologList
PrologList
Cons
Cons
Nil
RecursiveStruct
RecursiveStruct
BinaryRecursiveStruct
Tuple
BinaryRecursiveStruct
Struct
Struct
Clause
Directive
Directive
Fact
Fact
Indicator
Indicator
Rule
Rule
Term
Variable
Variable
Visitable
dsl
DeclarativeProlog
PrologDSL
solver
Solver
Solver
Solution
Yes
No
Halt
Substitution
utils
TermConvertible
visitors
BinaryToFlatVisitor
TermVisitor
ToInstanceTermVisitor
ToStringTermVisitor
Application
PrologProgram
PrologProgram
Prolog-as-ScalaDSL
/
io.github.kelvindev15.prolog
/
io.github.kelvindev15.prolog.core
/
Prolog
/
Functors
Functors
io.github.kelvindev15.prolog.core.Prolog.Functors
object
Functors
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Self type
Functors
.
type
Members list
Clear all
Value members
Concrete fields
val
CLAUSE
:
Atom
val
CONS
:
Atom
val
EMPTY_LIST
:
Atom
val
GOAL_CONJUNCTION
:
Atom
val
GOAL_DISJUNCTION
:
Atom
val
INDICATOR
:
Atom
In this article
Attributes
Members list
Value members
Concrete fields