Sequel(ID:2492/seq003)

Theorem prover specification language

U Leeds. Theorem prover specification language. Pattern matching notation similar to Prolog. Compiled into Lisp. Proc ICJAI 13.

Structures:

Resources