examples/it.unibo.tuprolog.examples.solve/ThermostatAgent

ThermostatAgent

Java counterpart of it.unibo.tuprolog.examples.solve.ThermostatAgentKt: a reactive agent whose control loop is a Prolog program, while its get_temp/1 sensor and push/1 actuator primitives are plain Java objects, showing how the :solve public API reads from Java (e.g. going through request.getUnificator().mgu(...) rather than the mgu extension available in Kotlin).

The agent runs as a Thread: its control logic is loaded from the bundled thermostat.pl resource (templated with the cold/hot thresholds passed to the constructor) and solved once via it.unibo.tuprolog.solve.Solver, printing whether the target temperature range was reached, the logic program failed, or an exception was raised.

Constructors

ThermostatAgent

constructor(name: String, coldThreshold: Int, hotThreshold: Int, temperature: Int)

Properties

contextClassLoader

open var contextClassLoader: ClassLoader

defaultUncaughtExceptionHandler

open var defaultUncaughtExceptionHandler: Thread.UncaughtExceptionHandler

MAX_PRIORITY

val MAX_PRIORITY: Int = 10

MIN_PRIORITY

val MIN_PRIORITY: Int = 1

name

open var name: String

NORM_PRIORITY

val NORM_PRIORITY: Int = 5

temperature

open val temperature: Int

uncaughtExceptionHandler

open var uncaughtExceptionHandler: Thread.UncaughtExceptionHandler

Functions

activeCount

open fun activeCount(): Int

checkAccess

fun checkAccess()

countStackFrames

open fun countStackFrames(): Int

currentThread

open fun currentThread(): Thread

dumpStack

open fun dumpStack()

enumerate

open fun enumerate(tarray: Array<Thread>): Int

getAllStackTraces

open fun getAllStackTraces(): Map<Thread, Array<StackTraceElement>>

getId

open fun getId(): Long

getPriority

fun getPriority(): Int

getStackTrace

open fun getStackTrace(): Array<StackTraceElement>

getState

open fun getState(): Thread.State

getThreadGroup

fun getThreadGroup(): ThreadGroup

holdsLock

open fun holdsLock(p: Any): Boolean

interrupt

open fun interrupt()

interrupted

open fun interrupted(): Boolean

isAlive

fun isAlive(): Boolean

isDaemon

fun isDaemon(): Boolean

isInterrupted

open fun isInterrupted(): Boolean

isVirtual

fun isVirtual(): Boolean

join

fun join(duration: Duration): Boolean

fun join(millis: Long)

main

open fun main(args: Array<String>)

Entry point spawning a ThermostatAgent with a cold threshold of 20, a hot threshold of 24, and a starting temperature of 30, then waiting for it to reach a stable temperature before the JVM exits.

ofPlatform

open fun ofPlatform(): Thread.Builder.OfPlatform

ofVirtual

open fun ofVirtual(): Thread.Builder.OfVirtual

onSpinWait

open fun onSpinWait()

resume

fun resume()

run

open fun run()

Parses the templated thermostat.pl program, builds a solver registering get_temp/1 and push/1 under the libs.agency.thermostat library alias (with variable tracking enabled so bound variables remain visible), and solves the start/0 goal once, printing the outcome to standard output.

setDaemon

fun setDaemon(on: Boolean)

setPriority

fun setPriority(newPriority: Int)

sleep

open fun sleep(millis: Long)

start

open fun start()

startVirtualThread