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

Struct

io.github.kelvindev15.prolog.core.Struct
See theStruct companion trait
object Struct

Attributes

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

Members list

Type members

Classlikes

trait Clause extends Struct

A Prolog clause.

A Prolog clause.

Attributes

Supertypes
trait Struct
trait Term
trait Visitable
class Object
trait Matchable
class Any
Show all
Known subtypes
trait Directive
trait Rule
trait Fact
object Directive

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Directive.type
trait Directive extends Clause

A Prolog directive.

A Prolog directive.

Attributes

Companion
object
Supertypes
trait Clause
trait Struct
trait Term
trait Visitable
class Object
trait Matchable
class Any
Show all
object Fact

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Fact.type
trait Fact extends Rule

A Prolog fact.

A Prolog fact.

Attributes

Companion
object
Supertypes
trait Rule
trait Clause
trait Struct
trait Term
trait Visitable
class Object
trait Matchable
class Any
Show all
object Indicator

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Indicator.type
trait Indicator extends Struct

A Prolog indicator.

A Prolog indicator.

Attributes

Companion
object
Supertypes
trait Struct
trait Term
trait Visitable
class Object
trait Matchable
class Any
Show all
object Rule

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Rule.type
trait Rule extends Clause

A Prolog rule.

A Prolog rule.

Attributes

Companion
object
Supertypes
trait Clause
trait Struct
trait Term
trait Visitable
class Object
trait Matchable
class Any
Show all
Known subtypes
trait Fact

Value members

Concrete methods

def apply(functor: Atom, args: Term*): Struct

Returns an instance of a Struct.

Returns an instance of a Struct.

Value parameters

args

the arguments of the struct.

functor

the functor of the struct.

Attributes

def quoteIfFunctorIsMalformed(functor: String): String

Returns a quoted string to make it adhere to Prolog's atom syntax, or the provided string if it is already compliant.

Returns a quoted string to make it adhere to Prolog's atom syntax, or the provided string if it is already compliant.

Value parameters

functor

the string to possibly quote.

Attributes

Generated with