Tclp. TCLPは、Prolog Dialectsの型チェッカーです。
今すぐダウンロード

Tclp. ランキングとまとめ

Tclp. タグ

チェッカー タイプ タイプチェッカー プロローグ方言 制約論理プログラミング TCLP.

Tclp. 説明

TCLPはProlog Dialectsの型チェッカーです。 TCLPは、Constraint Logicプログラミングのための規範的型システムです。現在、Franois FagesとEmmanuel Coqueryによる制約論理プログラムのタイピングに関するSICSTUS PROGBASERSのSICSTUSのプログラミングライブラリ。論理プログラミングTPLPの理論と実践のジャーナル（6）、pp.751-777。 PS.TCLPとして入手可能なものは、3種類の多型を使用しています：パラメトリック多型（例：リスト（a））のサブタイプ（例：リスト（a） INTと入力し、A * B - > PAE（A、B）を使用可能なもの：タイプ宣言が必要ありません。 Built-Ins TCLPのタイプを提供する関数SymbolSextensibleのためのType推論TCLPのタイプを提供することは、Prolog / Chr。型宣言の型のショートカットとして名前を使用してください。

Tclp. 関連ソフトウェア