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

io.github.kelvindev15.prolog.core.theory

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

Members list

Type members

Classlikes

object Theory

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Theory.type
trait Theory extends Seq[Clause]

A Prolog theory

A Prolog theory

Attributes

Companion
object
Supertypes
trait Seq[Clause]
trait SeqOps[Clause, Seq, Seq[Clause]]
trait Seq[Clause]
trait Pure
trait Equals
trait SeqOps[Clause, Seq, Seq[Clause]]
trait PartialFunction[Int, Clause]
trait Int => Clause
trait Iterable[Clause]
trait Iterable[Clause]
trait IterableFactoryDefaults[Clause, Seq]
trait IterableOps[Clause, Seq, Seq[Clause]]
trait IterableOnceOps[Clause, Seq, Seq[Clause]]
trait IterableOnce[Clause]
class Object
trait Matchable
class Any
Show all
Generated with