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]. .

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">In addition Suitable contentS:
[ 2 ] [ = ] [ ad ] [ ag ] [ AI ] [ al ] [ an ] [ ar ] [ aS ] [ at ] [ B ] [ b ] [ ba ] [ baSe ] [ C ] [ ca ] [ cat ] [ ch ] [ ci ] [ cu ] [ curSor ] [ D ] [ ding ] [ ec ] [ ed ] [ ee ] [ er ] [ eS ] [ fi ] [ ge ] [ gi ] [ gS ] [ gu ] [ h ] [ hing ] [ hr ] [ IBM ] [ IC ] [ il ] [ in ] [ int ] [ io ] [ iS ] [ J ] [ la ] [ language ] [ LiSp ] [ M ] [ ma ] [ mil ] [ mp ] [ mS ] [ na ] [ ng ] [ no ] [ om ] [ pe ] [ pr ] [ Prolog ] [ Q ] [ QL ] [ re ] [ ro ] [ roach ] [ S ] [ Sc ] [ Se ] [ Si ] [ So ] [ Spec ] [ Specification ] [ SQL ] [ St ] [ SyStem R ] [ T ] [ tc ] [ to ] [ tp ] [ tt ] [ ua ] [ uk ] [ ve ]