commonMain.it.unibo.tuprolog.solve.TestAssertZ.kt Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of test-solve-js Show documentation

"Multi-platform Prolog environment, in Kotlin"

There is a newer version: 1.0.4

package it.unibo.tuprolog.solve

/**
 * Tests of assertz
 */
interface TestAssertZ : SolverTest {
    companion object {
        fun prototype(solverFactory: SolverFactory): TestAssertZ =
            TestAssertZImpl(solverFactory)
    }

    /**
     * Tests the queries
     * ```prolog
     * ?- assertz((foo(X) :- X -> call(X))).
     * ```
     * succeeds on a solver initialized with default built-ins and with and empty theory.
     */
    fun testAssertZClause()

    /**
     * Tests the queries
     * ```prolog
     * ?- assertz(_).
     * ```
     * fails on a solver initialized with default built-ins and with and empty theory.
     * producing exception instantiation_error.
     */
    fun testAssertZAny()

    /**
     * Tests the queries
     * ```prolog
     * ?- assertz(4).
     * ```
     * fails on a solver initialized with default built-ins and with and empty theory.
     * producing exception type_error(callable, 4).
     */
    fun testAssertZNumber()

    /**
     * Tests the queries
     * ```prolog
     * ?- assertz(foo :- 4).
     * ```
     * fails on a solver initialized with default built-ins and with and empty theory.
     * producing exception domain_error(clause, foo :- 4).
     */
    fun testAssertZFooNumber()

    /**
     * Tests the queries
     * ```prolog
     * ?- assertz((atom(_) :- true)).
     * ```
     * fails on a solver initialized with default built-ins and with and empty theory.
     * producing exception permission_error(modify,private_procedure,atom/1).
     */
    fun testAssertZAtomTrue()
}