PPS-24-papyrus
API
Generated with
PPS-24-papyrus/papyrus/papyrus.logic/papyrus.logic.utility/papyrus.logic.utility.prolog/Scala2Prolog

Scala2Prolog

papyrus.logic.utility.prolog.Scala2Prolog
object Scala2Prolog

Utility object for working with tuProlog from Scala

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def extractTerm(t: Term, i: Integer): Term

Extracts the i-th argument from a compound Prolog term

Extracts the i-th argument from a compound Prolog term

Attributes

def mkPrologEngine(clauses: String*): Term => LazyList[Term]

Creates a Prolog engine with the given clauses

Creates a Prolog engine with the given clauses

Returns a function that takes a goal and produces a lazy stream of solutions

Attributes

Givens

Givens

given given_Conversion_Seq_Term: Conversion[Seq[_], Term]

Converts a Scala sequence into a Prolog list term string

Converts a Scala sequence into a Prolog list term string

Attributes

given given_Conversion_String_Term: Conversion[String, Term]

Converts a string into a Prolog term

Converts a string into a Prolog term

Attributes

Generated with