CGOL

CGOL ^{[1] [2]}（発音は「シーゴル」 ）は、 Lispプログラミング言語用の拡張可能な代数記法を特徴とする代替構文です。これは、 Vaughan PrattによってMACLISP用に設計され、その後Common Lispに移植されました。^[3]

CGOLの表記法は、 Lispの伝統的な均一な括弧で囲まれた接頭辞表記構文ではなく、 ALGOLスタイルの伝統的な中置表記法です。CGOLパーサーは、トップダウン演算子優先順位解析のためのPrattの設計に基づいており、^{[4] [5]非公式に「} Prattパーサー」と呼ばれることもあります。

意味的には、CGOL は基本的に Common Lisp であり、追加のリーダーとプリンターのサポートがいくつか追加されています。

CGOL は、以前のLISP 2プロジェクトの背後にあるいくつかの重要なアイデアをよりうまく具現化したものとみなすことができます。Lisp 2 は、ALGOL 構文を提供することを目的としたLISP 1.5の後継でした。LISP 2 は放棄されましたが、CGOL コードベースは現在でも使用できます。これは、LISP 2 とは異なり、CGOL は Lisp で記述された移植可能な関数とマクロとして実装されており、ホスト Lisp 実装を変更する必要がないためです。

一般的に使用される多くの Common Lisp 演算には、特別な表記法が用意されています。たとえば、行列乗算ルーチンは次のように記述できます。

 i in 1 to nの場合、 k in 1 to nの場合、ac := 0 ; j in 1 to nの場合、ac := ac + a ( i , j ) * b ( j , k ) ; c ( i , k ) := ac )を実行します。      
         
       
            
             
        

CGOL には、インフィックス.演算 (Common Lisp の関数を参照cons) とインフィックス@演算 (Common Lisp の関数を参照append) があります。

a.(b@c) = (ab)@c

上記の例は、ネイティブ Common Lisp の次のテキストに対応します。

(等しい(定数A (追加B C )) (追加(定数A B ) C ))          

CGOL はofプロパティの読み取りと設定に以下を使用します:

xの「父」:= yの親戚の「兄弟」        

上記の例は、ネイティブ Common Lisp の次のテキストに対応します。

( PUTPROP X ( GET ( Y RELATIVE ) ' BROTHER ) 'FATHER )       

これは、CGOL が 2 つの引数の関数をどのように表記するかを示しています。

\x,y; 1/sqrt(x**2 + y**2)

上記の例は、ネイティブ Common Lisp の次のテキストに対応します。

( LAMBDA ( X Y ) (商1 ( SQRT (プラス( EXPT X 2 ) ( EXPT Y 2 )))))            

CGOL の構文はデータ駆動型であるため、変更および拡張が可能です。

CGOLはArmed Bear Common Lisp上で動作することが知られている。^[6]

CGOLのソースコードとそれに関する議論を含むいくつかのテキストファイルは、カーネギーメロン大学の人工知能リポジトリからフリーウェアとして入手できます。^[3]