io.github.kelvindev15.prolog.utils

Members list

Type members

Classlikes

Provide objects of a method to convert themselves to a Term

Provide objects of a method to convert themselves to a Term

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