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

Go to download

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

Common testing facilities for 2P-Kt-based logic solvers

There is a newer version: 1.0.4

package it.unibo.tuprolog.solve

interface TestAtomLength : SolverTest {
    companion object {
        fun prototype(solverFactory: SolverFactory): TestAtomLengthImpl = TestAtomLengthImpl(solverFactory)
    }

    /**
     * Tests the queries
     * ```prolog
     * ?- atom_length(test,4).
     * ```
     * succeeds.
     *
     *
     */

    fun testAtomLengthNoVar()

    /**
     * Tests the queries
     * ```prolog
     * ?- atom_length(test,X).
     * ```
     * succeeds.
     *
     *
     */

    fun testAtomLengthSecondIsVar()

    /**
     * Tests the queries
     * ```prolog
     * ?- atom_length(X,4).
     * ```
     * fails.
     *
     *
     */

    fun testAtomLengthFirstIsVar()

    /**
     * Tests the queries
     * ```prolog
     * ?- atom_length(testLength,X).
     * ```
     * succeeds.
     *
     *
     */

    fun testAtomLengthSecondIsVar2()

    /**
     * Tests the queries
     * ```prolog
     * ?- atom_length(testLength,X).
     * ```
     * fails.
     *
     *
     */

    fun testAtomLengthFail()
}