jvmMain.it.unibo.tuprolog.Introspection.kt Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of core-jvm Show documentation

Knowlege representation via logic terms and clauses

There is a newer version: 1.0.4

package it.unibo.tuprolog

import java.io.File

internal actual fun currentPlatform(): Platform =
    if (System.getProperty("java.vm.name").contains("Dalvik", ignoreCase = true)) {
        Platform.ANDROID
    } else {
        Platform.JVM
    }

internal actual fun currentOs(): Os =
    Os.detect(System.getProperty("os.name")) ?: if (File.separator == "\\") Os.WINDOWS else Os.UNKNOWN_POSIX