定義
該語言具有标準數據類型和結構數據類型，可以嵌套定義過程，允許遞歸調用，過程的參數可以分為值參和變參兩種形式，控制語句和Pascal語言基本相同，除指針類型外，SNL具備了過程式語言的基本特征。
SNL是自行定義的，很大程度上是一種類Pascal的“高級”程序設計語言。用其作為實例語言并構造編譯程序，可以使絕大多數編譯技術在編寫元級程序的過程中得到體現。
應用
目的：評價SNL大鼠鞘内注射KB-R7943的鎮痛作用,并探讨其可能的機制。方法選取成年雄性SD大鼠(180~220 g),建立SNL模型,通過測定機械痛阈選取SNL模型建立成功的大鼠,采用免疫熒光檢測其手術側L4~6脊髓背角鈉鈣交換蛋白定位情況;
成年雄性SD大鼠進行鞘内置管,置管成功後1周,制作SNL模型,于SNL模型建立的第7天給予鞘内注射不同劑量(5μg、10μg、20μg)KB-R7943以及1%DMSO對照溶劑,通過行為學檢測其鞘内注射後引起的機械痛阈和熱痛阈變化;
記錄成年雄性SD大鼠脊髓背角C纖維誘發電位,給予坐骨神經強直電刺激誘發C纖維電位長時程增強(long-term potentiation,LTP),局部脊髓表面給予KB-R7943以及1%DMSO對照溶劑,記錄C纖維電位LTP的幅度變化。
結果：NCX表達在大鼠L4~6脊髓背角淺層的C纖維投射區内。SNL大鼠在術後第7天給予鞘内注射NCX反向轉運抑制劑KB-R7943,KB-R7943注射組大鼠手術側足底的機械痛阈及熱痛阈均高于溶劑組(P<0.05),其抑制作用與劑量呈正相關。
大鼠誘發脊髓C纖維電位LTP後,給予局部孵育KB-R7943後可降低C纖維電位幅度,單純給予溶劑不會影響C纖維電位幅度。
結論SNL大鼠鞘内注射KB-R7943具有劑量依賴性的抗神經病理性疼痛作用,其機制與抑制大鼠脊髓背角内的NCX反向轉運功能,并抑制脊髓背角C纖維誘發電位的長時程增強有關。
