You are here: irt.org | FOLDOC | Sequel
1. Precursor to SQL.
["System R: Relational Approach to Database Management", IBM Res Lab, San Jose, reprinted in Readings in Database Systems].
2. U Leeds. Theorem prover specification language. Pattern matching notation similar to Prolog. Compiled into Lisp.
[Proc ICJAI 13].
(ftp://agora.leeds.ac.uk/scs/logic/).
Nearby terms: SEPIA « SEPP « Seque « Sequel » sequence » Sequenced Packet Exchange » sequencer
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL