package elpi
Ordering
- Alphabetic
Visibility
- Public
- All
Type Members
- case class ELPIError(msg: String) extends Error with Product with Serializable
- class ELPIExporter extends BuildTarget with Exporter
Value Members
-
object
ELPI
implementation of the syntax of the ELPI system by Claudio Sacerdoti Coen and others
implementation of the syntax of the ELPI system by Claudio Sacerdoti Coen and others
In concrete syntax, clauses are written with inverted implication and implicit quantification of upper case variables.
Upper-case variables are instantiable while lower-case ones are not. (In queries: existential; in assumptions: universal)
- object HelpCons
- object PairCons extends Constant