theory/it.unibo.tuprolog.theory/TheoryFactory/theoryOf

theoryOf

abstract fun theoryOf(clauses: Iterable<Clause>, unificator: Unificator): Theory
abstract fun theoryOf(unificator: Unificator, vararg clauses: Clause): Theory
abstract fun theoryOf(clauses: Sequence<Clause>, unificator: Unificator): Theory

Creates a Theory containing the given clauses, using the given unificator.

open fun theoryOf(clauses: Iterable<Clause>): Theory
open fun theoryOf(vararg clauses: Clause): Theory
open fun theoryOf(clauses: Sequence<Clause>): Theory

Creates a Theory containing the given clauses, using this factory's unificator.

Generated by Dokka
© 2026 Copyright