La lengua ( SEL ) del Subconjunto-equational del es un declarativo que programa la lengua del para el sistema que procesa, escrita por el Bharat Jayaraman .

Las características incluyen:
cláusulas del subconjunto y del programa del equational.
Adaptación de modelos sobre los sistemas (iteración eficiente favorable sobre sistemas).
anotaciones para decir qué funciones distribuyen sobre la unión en la cual las discusiones (para el cómputo punto-sabio/incremental sobre sistemas).
definición de los encierros transitivos con los apremios circulares (ejecutados por el de arriba hacia abajo mezclado Memoisation y la estrategia ascendente).
Metaprogramming y simple programado Higher-order.
interfaz de usuario modesto incluyendo el trazado.

El recopilador de SEL, escrito en el prólogo de Quintus, genera el WAM - como el código, ampliado para ocuparse de fijar-emparejar, del memoisation, y de la estructura de control nueva de la lengua. El sistema run-time se escribe en el C .