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

Disjunction

io.github.kelvindev15.prolog.core.Goals.Disjunction
See theDisjunction companion trait
object Disjunction

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def apply(args: Term*): Disjunction

Returns an instance of Conjunction.

Returns an instance of Conjunction.

Value parameters

args

the arguments to put in disjunction.

Attributes

Throws
IllegalArgumentException

if less of two arguments are provided.

def unapply(disjunction: Disjunction): Option[(Term, Term)]

Deconstructs the Disjunction in its arguments.

Deconstructs the Disjunction in its arguments.

Value parameters

disjunction

the disjunction to deconstruct.

Attributes

def wrapIfNecessary(args: Term*): Term

Returns a Disjunction if more to arguments are provided, otherwise return the provided term.

Returns a Disjunction if more to arguments are provided, otherwise return the provided term.

Value parameters

args

the arguments to put in disjuction.

Attributes

Throws
IllegalArgumentException

if no arguments is provided.

Generated with