format code in :dsl-theory

dsl-theory/build.gradle.kts

@@ -1,30 +1,10 @@
-// Project specific kotlin multiplatform configuration
 kotlin {
-
     sourceSets {
         val commonMain by getting {
             dependencies {
-//                api("com.github.gciatto:kt-math-metadata:0.+")
                 api(project(":dsl-unify"))
                 api(project(":theory"))
             }
         }
-
-        // Default source set for JVM-specific sources and dependencies:
-        jvm {
-            compilations["main"].defaultSourceSet {
-                dependencies {
-//                    api(project(":core"))
-                }
-            }
-        }
-
-        js {
-            compilations["main"].defaultSourceSet {
-                dependencies {
-//                    api(project(":core"))
-                }
-            }
-        }
     }
 }

dsl-theory/src/commonMain/kotlin/it/unibo/tuprolog/dsl/theory/PrologExtensions.kt

@@ -1,4 +1,5 @@
 @file:JvmName("PrologExtensions")
+
 package it.unibo.tuprolog.dsl.theory
 
 import kotlin.js.JsName
@@ -7,4 +8,4 @@ import kotlin.jvm.JvmName
 @JsName("prolog")
 fun <R> prolog(function: PrologScopeWithTheories.() -> R): R {
     return PrologScopeWithTheories.empty().function()
-}
+}

dsl-theory/src/commonMain/kotlin/it/unibo/tuprolog/dsl/theory/PrologScopeWithTheories.kt

@@ -23,4 +23,4 @@ interface PrologScopeWithTheories : PrologScopeWithUnification {
         @JsName("empty")
         fun empty(): PrologScopeWithTheories = PrologScopeWithTheoriesImpl()
     }
-}
+}

dsl-theory/src/commonMain/kotlin/it/unibo/tuprolog/dsl/theory/PrologScopeWithTheoriesImpl.kt

@@ -7,4 +7,4 @@ class PrologScopeWithTheoriesImpl(unificator: Unificator) :
     PrologScopeWithTheories, PrologScope by PrologScope.empty(), Unificator by unificator {
 
     constructor() : this(Unificator.default)
-}
+}

dsl-theory/src/commonTest/kotlin/it/unibo/tuprolog/dsl/theory/Prova.kt

@@ -7,10 +7,12 @@ class Prova {
     @Test
     fun testProlog() {
         prolog {
-            println(theoryOf(
-                fact { "member"("X", consOf("X", `_`)) },
-                rule { "member"("X", consOf(`_`, "T")) impliedBy "member"("X", "T") }
-            ))
+            println(
+                theoryOf(
+                    fact { "member"("X", consOf("X", `_`)) },
+                    rule { "member"("X", consOf(`_`, "T")) impliedBy "member"("X", "T") }
+                )
+            )
         }
     }
-}
+}