DataLog variantsとは
DataLog variantsは、論理DBに分類されるデータ記述・問い合わせ用の言語または記法です。Souffléなど以外にも多数の派生として知られており、用途や関連ツールを探す入口になります。
| 項目 | 内容 |
|---|---|
| 名称 | DataLog variants |
| 分類 | 論理DB |
| カテゴリ | 形式手法・証明・論理 |
| 状態 | 参考情報少なめ |
読むポイント
Section titled “読むポイント”- どの製品、仕様、ツール、教材の文脈で登場する名前かを見る
- 現在使うものか、古いコードや資料を読むためのものかを切り分ける
- 公式サイト、仕様書、実装例、パッケージ情報がある場合はそこから読み始める
公式・参照情報
Section titled “公式・参照情報”- 公式サイト: 未登録