Goals
io.github.kelvindev15.prolog.core.Goals
object Goals
Attributes
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
Goals.type
Members list
Type members
Classlikes
object Conjunction
Attributes
- Companion
- trait
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
Conjunction.type
trait Conjunction extends BinaryRecursiveStruct
Represents a conjunction of goals.
Represents a conjunction of goals.
Attributes
- Companion
- object
- Supertypes
-
trait BinaryRecursiveStructtrait RecursiveStructtrait Structtrait Termtrait Visitabletrait TermConvertibleclass Objecttrait Matchableclass AnyShow all
object Disjunction
Attributes
- Companion
- trait
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
Disjunction.type
trait Disjunction extends BinaryRecursiveStruct
Represents a disjunction of goals.
Represents a disjunction of goals.
Attributes
- Companion
- object
- Supertypes
-
trait BinaryRecursiveStructtrait RecursiveStructtrait Structtrait Termtrait Visitabletrait TermConvertibleclass Objecttrait Matchableclass AnyShow all
In this article