Prolog-as-ScalaDSL
API
Generated with
Prolog-as-ScalaDSL/io.github.kelvindev15.prolog/io.github.kelvindev15.prolog.core

io.github.kelvindev15.prolog.core

package io.github.kelvindev15.prolog.core

Members list

Packages

package io.github.kelvindev15.prolog.core.theory

Type members

Classlikes

trait Constant extends Term

A Prolog Constant, either numeric or an atom

A Prolog Constant, either numeric or an atom

Attributes

Companion
object
Supertypes
trait Term
trait Visitable
class Object
trait Matchable
class Any
Show all
Known subtypes
trait Atom
trait Numeric
object Constant

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Constant.type
object Goals

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Goals.type
object Prolog

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Prolog.type
trait PrologList extends RecursiveStruct

A Prolog list

A Prolog list

Attributes

Companion
object
Supertypes
trait Struct
trait Term
trait Visitable
class Object
trait Matchable
class Any
Show all
Known subtypes
trait Cons
object Nil
object PrologList

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
PrologList.type
trait RecursiveStruct extends Struct

A Prolog Struct that is also recursive.

A Prolog Struct that is also recursive.

Attributes

Companion
object
Supertypes
trait Struct
trait Term
trait Visitable
class Object
trait Matchable
class Any
Show all
Known subtypes
trait PrologList
trait Cons
object Nil
trait Conjunction
trait Disjunction
Show all
object RecursiveStruct

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait Struct extends Term

A Prolog compound term

A Prolog compound term

Attributes

Companion
object
Supertypes
trait Term
trait Visitable
class Object
trait Matchable
class Any
Show all
Known subtypes
trait Atom
trait PrologList
trait Cons
object Nil
trait Conjunction
trait Disjunction
trait Clause
trait Directive
trait Rule
trait Fact
trait Indicator
Show all
object Struct

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Struct.type
trait Term extends TermConvertible, Visitable

A Prolog term.

A Prolog term.

Attributes

Supertypes
trait Visitable
class Object
trait Matchable
class Any
Known subtypes
trait Constant
trait Atom
trait Numeric
trait Struct
trait PrologList
trait Cons
object Nil
trait Conjunction
trait Disjunction
trait Clause
trait Directive
trait Rule
trait Fact
trait Indicator
trait Variable
Show all
trait Variable extends Term

A Prolog variable

A Prolog variable

Attributes

Companion
object
Supertypes
trait Term
trait Visitable
class Object
trait Matchable
class Any
Show all
object Variable

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Variable.type
trait Visitable

A trait to visit a Term like object.

A trait to visit a Term like object.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Term
trait Constant
trait Atom
trait Numeric
trait Struct
trait PrologList
trait Cons
object Nil
trait Conjunction
trait Disjunction
trait Clause
trait Directive
trait Rule
trait Fact
trait Indicator
trait Variable
Show all
Self type
Generated with