sequel

n 1: something that follows something else [syn: {subsequence}]

2: a part added to a book or play that continues and extends it

[syn: {continuation}]

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/)}