macOS
Homebrew確認済み · 100%
brew install picatlocal Homebrew formula metadata
brew / 順位 6054
picat を Homebrew, apk, Nix でインストール
picat のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。
インストール
追加のインストールコマンド
Linux
Alpine Linux apk確認済み · 92%
sudo apk add picatAlpine Linux edge package indexes · picat · ソース: dl-cdn.alpinelinux.org
Nix確認済み · 92%
nix profile install nixpkgs#picatnixpkgs package indexes · pkgs/by-name/pi/picat/package.nix · ソース: api.github.com
概要
パッケージ概要
Simple, and yet powerful, logic-based multi-paradigm programming language
プロジェクトリンク
コマンドとエイリアス
- picat
履歴
プロジェクトの歴史と使われ方
Picat is a logic-based, multi-paradigm programming language designed for general programming, constraint solving, planning, and scripting. It combines rule-based pattern matching with familiar imperative constructs and specialized search facilities.
プロジェクトの歴史
Neng-Fa Zhou and collaborators designed Picat as a scalable logic-based, multi-paradigm language. The initial design was published in December 2012, and the first alpha release appeared in May 2013.
The implementation is based on the B-Prolog engine. Over time the language added and refined constraint, planning, tabling, scripting, and Prolog-compatible facilities; version 3.0 added Prolog-style Horn clauses and definite-clause grammars.
採用の歴史
The project’s guide credits early community review and hundreds of Picat programs written from May 2013 onward as important to the language’s rapid maturation. Picat later developed a presence in constraint-programming education, programming contests, and solver competitions.
The official site records first-place performance in the 2021 LP/CP programming contest and competitive results in later XCSP and MiniZinc challenges. It is distributed through several Unix package ecosystems, including Homebrew, Alpine Linux, and Nix.
使われ方
Users can start an interactive Picat session with the picat command, load and debug programs, or execute a .pi program directly when it defines main/0 or main/1. Common application areas include constraint models, combinatorial search, planning, contest problems, and scripts.
パッケージ好きにとっての重要性
Picat interests language-package enthusiasts because it packages a comparatively uncommon blend of Prolog-like relations, imperative assignments and loops, tabling, constraint solving, planning, and scripting in one standalone interpreter.
Its implementation lineage through the B-Prolog engine and its interfaces to SAT, SMT, and mathematical-optimization solvers make it a compact gateway into several declarative-programming traditions.
タイムライン
- 2012: Initial Picat design published.
- 2013: First alpha version released in May.
- 2021: Picat team won the LP/CP programming contest.
- 2022: Version 3.3 released.
- 2023: Versions 3.4 and 3.5 released.
- 2024: Versions 3.6 and 3.7 released.
- 2025: Versions 3.8 and 3.9 released.
- 2026: Version 3.9#11 released on July 16.
Related projects
- Picat is implemented on the B-Prolog engine and is conceptually related to Prolog, constraint-programming systems, and modeling languages. Its official guide documents interfaces to Kissat, Gurobi, CBC, GLPK, SCIP, and Z3.
ソース
- Official Picat User’s Guide: https://picat-lang.org/download/picat_guide_html/picat_guide.html
- Official Picat homepage: https://picat-lang.org/index.html
- Official releases page: https://picat-lang.org/download.html
セキュリティ状態
リスクレベル: yellow
generalized runtime or code generation signal.
リスク分類器
リスク yellow · 信頼度 中 · runtime
理由
- generalized runtime or code generation signal
信号
- text:programming language
インストール挙動
- formula メタデータに Homebrew post-install フックは記録されていません。
- Homebrew bottle メタデータは 5 個のプラットフォームターゲットで利用できます。
推奨レビュー
エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。
実行可能ファイル
インストールされる実行可能ファイル
| コマンド | 種類 | 公開範囲 | メモ |
|---|---|---|---|
picat | cli | グローバル実行可能ファイル |
鮮度
バージョンと鮮度
これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。
ページ生成日2026-09-19
マネージャ版3.9.12
マネージャ更新日2026-09-11
ローカルデータOK
上流not checked
検出された最新未検出
- 情報Release/tag comparison is only available for GitHub repositories.https://picat-lang.org/信頼度 none
インストールメタデータ
パッケージメタデータ
| パッケージキー | brew:picat |
|---|---|
| バージョン | 3.9.12 |
| パッケージマネージャ | Homebrew |
| パッケージマネージャページ | https://formulae.brew.sh/formula/picat |
| ホームページ | https://picat-lang.org/ |
| 上流ドキュメント | https://picat-lang.org/ |
| ライセンス | MPL-2.0 |
| ソースアーカイブ | https://picat-lang.org/download/picat39_12_src.tar.gz |
| 最終更新 | 2026-09-11T12:53:08Z |
| Pulse | updated |
| Bottle | 利用可能 (対象 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, x86_64_linux) |
| Homebrew post-install | 未定義 |
| サービス | 宣言なし |
レジストリ情報
ソースデータベース詳細
| Source Database | Homebrew formula API |
|---|---|
| Tap | homebrew/core |
| Full Name | picat |
| Version Scheme | 0 |
| Revision | 0 |
| Bottle Stable Root URL | https://ghcr.io/v2/homebrew/core |
| Deprecated | no |
| Disabled | no |
| Keg Only | no |
| URL Keys |
|
ソースデータベース一致
他のパッケージマネージャ記録
一致は外部パッケージマネージャインデックスから取得され、ローカルの Automic Vault パッケージリンクとは分けて表示されます。
Nix95%
picat
nix profile install nixpkgs#picat- normalized package name match
- 一致条件: Picat
apk95%
picat 3.9.12-r0
Logic-based multi-paradigm programming language
sudo apk add picat- License: MPL-2.0
- Architecture: x86_64
- Source Package: picat
- 1 依存関係
- 1 提供
- normalized package name match
- 一致条件: Picat
apk95%
picat-doc 3.9.12-r0
Logic-based multi-paradigm programming language (documentation)
sudo apk add picat-doc- License: MPL-2.0
- Architecture: x86_64
- Source Package: picat
- normalized package name match
- 一致条件: Picat
ソース経路
リポジトリデータから生成
このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。
Combined YAML source
View the package source record on GitHub.
使用ソース
- Geiger risk classifier
- cross-ecosystem install command graph
- curated package history
- external package-manager database matches
- package relationship graph
- package version freshness
- package-page enrichment
- pkg.so package database
- pkgdb category and tag curation