Package-level declarations
Types
Link copied to clipboard
object PrologTheoryTemplates
Toolkit-independent Prolog examples suitable for any plain-Prolog frontend.
Link copied to clipboard
data class TheoryTemplate(val id: String, val displayName: String, val source: String, val description: String = "")
A ready-to-load theory example, offered to the user e.g. via a "New from template" menu.