io.github.kelvindev15.prolog.core.theory

Members list

A Prolog theory

Companion: object
Supertypes: trait Seq[Clause]

trait SeqOps[Clause, Seq, Seq[Clause]]

trait Seq[Clause]

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

In this article

Generated with