AeroGuard-MAS/reasoning/TuPrologSafetyReasoner

TuPrologSafetyReasoner

class TuPrologSafetyReasoner(theoryText: String) : SafetyReasoner(source)

tuProlog-backed implementation of SafetyReasoner.

It translates Kotlin domain objects into Prolog facts, loads the airspace safety theory, and solves symbolic queries for priorities, unsafe pairs, and maneuvers.

Constructors

constructor(theoryText: String)

Types

Companion

object Companion

Functions

explainDecision

open override fun explainDecision(decisionId: String): List<String>

isConflictUnsafe

open override fun isConflictUnsafe(conflict: Conflict, state: SimulationState): Boolean

isManeuverAllowed

open override fun isManeuverAllowed(aircraftId: String, maneuver: Maneuver, state: SimulationState): Boolean

priorityOf

open override fun priorityOf(aircraftId: String, state: SimulationState): Int