SEQUEL[2]

University of Leeds

A theorem prover specification language. Pattern matching notation similar to Prolog. Compiled into LISP.

Proceedings of ICJAI 13.