Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary (also found in English - Vietnamese, English - English (Wordnet), )
Sequel
Jump to user comments
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.