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

Conjunction

io.github.kelvindev15.prolog.core.Goals.Conjunction
See theConjunction companion trait
object Conjunction

Attributes

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

Members list

Value members

Concrete methods

def apply(args: Term*): Conjunction

Returns an instance of Conjunction.

Returns an instance of Conjunction.

Value parameters

args

the arguments to put in conjunction.

Attributes

Throws
IllegalArgumentException

if less of two arguments are provided.

def unapply(conjunction: Conjunction): Option[(Term, Term)]

Deconstructs the Conjuction in its arguments.

Deconstructs the Conjuction in its arguments.

Value parameters

conjunction

the conjunction to deconstruct.

Attributes

def wrapIfNecessary(args: Term*): Term

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

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

Value parameters

args

the arguments to put in conjunction.

Attributes

Throws
IllegalArgumentException

if no arguments is provided.

Generated with