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:
SEPP ♦ Seque ♦ Sequel ♦ sequence ♦ Sequenced Packet Exchange ♦ sequencer
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading