• Home
• it.unibo.tuprolog
• test-solve
• 0.30.4
• source code
• CustomTheories.kt

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

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

package it.unibo.tuprolog.solve

import it.unibo.tuprolog.dsl.theory.logicProgramming
import it.unibo.tuprolog.theory.Theory

object CustomTheories {

    val ifThenTheory1: Theory by lazy {
        logicProgramming {
            theoryOf(
                fact { "a"(1) },
                fact { "a"(2) },
                fact { "b"(1) },
                fact { "c"(2) }
            )
        }
    }

    val ifThenTheory2: Theory by lazy {
        logicProgramming {
            theoryOf(
                fact { "a"(2) },
                fact { "a"(1) },
                fact { "b"(1) },
                fact { "c"(2) }
            )
        }
    }

    val ifThen1ToSolution by lazy {
        logicProgramming {
            ktListOf(
                ("a"("X") then "b"("X")).hasSolutions(
                    { yes("X" to 1) }
                ),
                ("a"("X") then "c"("X")).hasSolutions(
                    { no() }
                ),
                ("a"(1) then "b"("X")).hasSolutions(
                    { yes("X" to 1) }
                ),
                ("a"(2) then "b"("X")).hasSolutions(
                    { yes("X" to 1) }
                ),
                ("a"(1) then "c"("X")).hasSolutions(
                    { yes("X" to 2) }
                ),
                ("a"(2) then "c"("X")).hasSolutions(
                    { yes("X" to 2) }
                ),
                (("a"("X") and "!") then "b"("X")).hasSolutions(
                    { yes("X" to 1) }
                ),
                (("a"("X") and "!") then "c"("X")).hasSolutions(
                    { no() }
                ),
                (("a"("X") and ("X" greaterThan 1)) then "b"("X")).hasSolutions(
                    { no() }
                ),
                (("a"("X") and ("X" greaterThan 1)) then "c"("X")).hasSolutions(
                    { yes("X" to 2) }
                ),
                (("a"("X") and "!" and ("X" greaterThan 1)) then "b"("X")).hasSolutions(
                    { no() }
                ),
                (("a"("X") and "!" and ("X" greaterThan 1)) then "c"("X")).hasSolutions(
                    { no() }
                )
            )
        }
    }

    val ifThen2ToSolution by lazy {
        logicProgramming {
            ktListOf(
                ("a"("X") then "b"("X")).hasSolutions(
                    { no() }
                ),
                ("a"("X") then "c"("X")).hasSolutions(
                    { yes("X" to 2) }
                ),
                ("a"(1) then "b"("X")).hasSolutions(
                    { yes("X" to 1) }
                ),
                ("a"(2) then "b"("X")).hasSolutions(
                    { yes("X" to 1) }
                ),
                ("a"(1) then "c"("X")).hasSolutions(
                    { yes("X" to 2) }
                ),
                ("a"(2) then "c"("X")).hasSolutions(
                    { yes("X" to 2) }
                ),
                (("a"("X") and "!") then "b"("X")).hasSolutions(
                    { no() }
                ),
                (("a"("X") and "!") then "c"("X")).hasSolutions(
                    { yes("X" to 2) }
                ),
                (("a"("X") and ("X" greaterThan 1)) then "b"("X")).hasSolutions(
                    { no() }
                ),
                (("a"("X") and ("X" greaterThan 1)) then "c"("X")).hasSolutions(
                    { yes("X" to 2) }
                ),
                (("a"("X") and "!" and ("X" greaterThan 1)) then "b"("X")).hasSolutions(
                    { no() }
                ),
                (("a"("X") and "!" and ("X" greaterThan 1)) then "c"("X")).hasSolutions(
                    { yes("X" to 2) }
                )
            )
        }
    }

    val ifThenElse1ToSolution by lazy {
        logicProgramming {
            ktListOf(
                ("a"("X") then "b"("X") or "c"("X")).hasSolutions(
                    { yes("X" to 1) }
                ),
                ("a"("X") and ("X" greaterThan 1) then "b"("X") or "c"("X")).hasSolutions(
                    { no() }
                ),
                ("a"("X") and ("X" lowerThan 2) then "b"("X") or "c"("X")).hasSolutions(
                    { yes("X" to 1) }
                ),
                ("a"("X") and "!" then "b"("X") or "c"("X")).hasSolutions(
                    { yes("X" to 1) }
                ),
                ("a"("X") and "!" and ("X" greaterThan 1) then "b"("X") or "c"("X")).hasSolutions(
                    { yes("X" to 2) }
                ),
                ("a"("X") and "!" and ("X" lowerThan 2) then "b"("X") or "c"("X")).hasSolutions(
                    { yes("X" to 1) }
                ),

                ("a"("X") then "c"("X") or "b"("X")).hasSolutions(
                    { no() }
                ),
                ("a"("X") and ("X" greaterThan 1) then "c"("X") or "b"("X")).hasSolutions(
                    { yes("X" to 2) }
                ),
                ("a"("X") and ("X" lowerThan 2) then "c"("X") or "b"("X")).hasSolutions(
                    { no() }
                ),
                ("a"("X") and "!" then "c"("X") or "b"("X")).hasSolutions(
                    { no() }
                ),
                ("a"("X") and "!" and ("X" greaterThan 1) then "c"("X") or "b"("X")).hasSolutions(
                    { yes("X" to 1) }
                ),
                ("a"("X") and "!" and ("X" lowerThan 2) then "c"("X") or "b"("X")).hasSolutions(
                    { no() }
                )
            )
        }
    }

    val ifThenElse2ToSolution by lazy {
        logicProgramming {
            ktListOf(
                ("a"("X") then "b"("X") or "c"("X")).hasSolutions(
                    { no() }
                ),
                ("a"("X") and ("X" greaterThan 1) then "b"("X") or "c"("X")).hasSolutions(
                    { no() }
                ),
                ("a"("X") and ("X" lowerThan 2) then "b"("X") or "c"("X")).hasSolutions(
                    { yes("X" to 1) }
                ),
                ("a"("X") and "!" then "b"("X") or "c"("X")).hasSolutions(
                    { no() }
                ),
                ("a"("X") and "!" and ("X" greaterThan 1) then "b"("X") or "c"("X")).hasSolutions(
                    { no() }
                ),
                ("a"("X") and "!" and ("X" lowerThan 2) then "b"("X") or "c"("X")).hasSolutions(
                    { yes("X" to 2) }
                ),

                ("a"("X") then "c"("X") or "b"("X")).hasSolutions(
                    { yes("X" to 2) }
                ),
                ("a"("X") and ("X" greaterThan 1) then "c"("X") or "b"("X")).hasSolutions(
                    { yes("X" to 2) }
                ),
                ("a"("X") and ("X" lowerThan 2) then "c"("X") or "b"("X")).hasSolutions(
                    { no() }
                ),
                ("a"("X") and "!" then "c"("X") or "b"("X")).hasSolutions(
                    { yes("X" to 2) }
                ),
                ("a"("X") and "!" and ("X" greaterThan 1) then "c"("X") or "b"("X")).hasSolutions(
                    { yes("X" to 2) }
                ),
                ("a"("X") and "!" and ("X" lowerThan 2) then "c"("X") or "b"("X")).hasSolutions(
                    { yes("X" to 1) }
                )
            )
        }
    }

    val memberGoalToSolution by lazy {
        logicProgramming {
            ktListOf(
                "member"("X", listOf("a", "b", "c")).hasSolutions(
                    { yes("X" to "a") },
                    { yes("X" to "b") },
                    { yes("X" to "c") },
                    { no() }
                ),
                "member"("f"("X"), listOf("a"(1), "b"(2), "c"(3))).hasSolutions(
                    { no() }
                )
            )
        }
    }
}