ビジュアルプロローグ

ビジュアルプロローグ

パラダイム	マルチパラダイム:論理的、関数的、オブジェクト指向、命令型、宣言型、汎用的、並行的
開発者	PDC A/S
安定リリース	11 ビルド 1105 / 2024年1月11日; 8か月前 ( 2024-01-11 )
タイピングの規律	静的、強い、推測された
OS	ウィンドウズ
ライセンス	独自
Webサイト	このサイトについて

Visual Prolog は、以前はPDC PrologおよびTurbo Prologと呼ばれていましたが、 Prologの厳密に型指定されたオブジェクト指向の拡張機能です。これは、 Borlandによって Turbo Prolog (1986 年にバージョン 1.0、1988 年にバージョン 2.0) として販売されました。現在は、これを最初に作成したデンマークの会社 PDC によって開発および販売されています。Visual Prolog では、Microsoft Windows GUIアプリケーション、コンソール アプリケーション、DLL (ダイナミック リンク ライブラリ)、およびCGIプログラムを構築できます。また、 COM コンポーネントやODBCによるデータベースへのリンクも可能です。

Visual Prolog には、 x86およびx86-64マシン コードを生成するコンパイラが含まれています。標準の Prolog とは異なり、Visual Prolog で記述されたプログラムは静的に型付けされます。これにより、実行時ではなくコンパイル時にエラーを検出できます。

ハノイの塔の例では、Prolog 推論エンジンは、中心を通過点として、徐々に小さくなる任意の数のディスクのスタックを、記述された方法で左極から右極に 1 枚ずつ移動する方法を見つけ出します。これにより、小さいディスクの上に大きいディスクが重なることはありません。述語は、hanoiディスクの数を示す整数を初期引数として受け取ります。

class hanoi predicates hanoi : ( unsigned N ). end class hanoi implement hanoi domains poll = left ; center ; right .節hanoi ( N ) :- move ( N , left , center , right ). class predicates move : ( unsigned N , poll A , poll B , poll C ).節move ( 0 , _ , _ , _ ) :- ! . move ( N , A , B , C ) :- move ( N - 1 , A , C , B ), stdio :: writef ( "ディスクを % poll から % poll へ移動します\n " , A , C ), move ( N - 1 , B , A , C ). end implement hanoi goal console :: init (), hanoi :: hanoi ( 4 ).  
    
           
   
 
  
    
            
 
    
             
 
     
                 
    
             
            
               
              
               
   
 
 
    
   

BYTEのブルース・F・ウェブスターは1986 年 9 月に Turbo Prolog を賞賛し、Turbo Pascal と同じくらい彼を興奮させた最初の Borland 製品であると述べた。彼はユーザー インターフェイスと低価格を気に入り、BYU の教授 2 名が大学で使用していた Prolog よりも優れていると述べたと報告した。言語の市場需要に疑問を呈しながらも、ウェブスターは「Turbo Prolog は 3 年前の Turbo Pascal と同じくらいソフトウェア設計の大きな飛躍となる可能性がある」と結論付け、「人工知能、データベース、エキスパート システム、またはプログラミングに関する新しい考え方に少しでも興味がある」人々に推奨した。^[9]その月の雑誌の別の著者は、言語の非標準でより構造化された構文により「ソース リストが標準の Prolog よりもはるかに読みやすくなる」と書いた。「多くの優れた機能」があると述べながらも、Turbo Prolog の「コンパイラの Turbo Pascal 風味と強力なデータ タイプ付け... は言語のアイデンティティの問題を引き起こす」と述べた。著者はこれを「Turbo Paslog」と表現し、「本気でPrologプログラマーになろうとしているなら、これをお勧めしない」と結論付けた。^[10] 1989年の同誌は、Borlandが「現実世界のアプリケーションプログラミングのためのシステムを開発した」ことを称賛し、Turbo Prolog 2.0をBYTE Awardsの「優秀賞」受賞者の1つに挙げた。^[11]

• Thomas W. de Boer、Visual Prolog 初心者ガイド
  • 中国語翻訳
• Eduardo Costa、Tyros の Visual Prolog
  • ロシア語翻訳
  • 中国語翻訳
• ジョバンニ・トレロ、ヴィジュアル・プロローグ・パー・プリンシピアンティ イタリア語113 ページ (pdf)
• ランドール・スコット著『Visual Prologによる人工知能ガイド』、ISBN  978-1-4327-4936-1

• Prolog実装の比較
• ログトーク
• Mercury (プログラミング言語)
• Prologの構文と意味論

• 公式サイト