Scryer Prolog is a free software ISO Prolog system intended to be an industrial strength production environment and a testbed for bleeding edge research in logic and constraint programming.
提供元による説明（英語）
Scryer Prologとは
Scryer Prolog（提供元：Mark Thom）は、「プログラミング言語・SDK」に分類されるオープンソースのWindowsソフトです。開発言語はRustです。
インストールと動作環境
提供元は64ビット版のポータブルインストーラーを配布しています。インストールせずにそのまま実行できます（ポータブル版）。
アップデートとバージョン履歴
最新版は0.9.3で、2023年11月3日にリリースされました。2023年8月28日までさかのぼって、全2件のリリースを公式ファイルへのリンク付きで掲載しています。最後の更新から1年以上たっています。
人気と対応ファイル形式
GitHubで公開されているソースコード（mthom/scryer-prolog）のスター数は2,462です。Windowsでは1種類のファイル形式に関連付けられます（.plなど）。似たソフトにはGo Programming Language、LLVM、Denoなどがあります。
GitHubのプロジェクト説明: “A modern Prolog implementation written mostly in Rust.”
メリット / デメリット
メリット
- オープンソースで、誰でもコードを確認・ビルドできる
- ポータブル版でインストール不要
デメリット
- ネイティブのARM64版がない
- 1年以上更新されていない
まとめ: Scryer Prologは、「プログラミング言語・SDK」に分類されるオープンソースのWindowsソフトです。64ビットのPCで使えます。更新のペースは落ちています。
Scryer Prologのダウンロードは安全ですか？
- ファイルは提供元のドメイン（github.com）から配信されています
- ダウンロードリンクはHTTPSを使用しています
- SHA256ハッシュが公開されているため、ファイルを検証できます:
B6CA52B7D1E447A16CA55EC3BE3F3BA772021E3F6531C76ACAA62617C7973248· このハッシュのVirusTotalレポートを開く - リンクはまだ確認されていません
- ソースコードは公開されています
- ExeAtlasはインストーラーのホスト、ラップ、改変を行っていません
関連ガイド: SHA256ハッシュの確認方法（Windows）
セキュリティ対策（OpenSSF Scorecard）
Open Source Security FoundationがGitHub上のmthom/scryer-prologリポジトリを自動でチェックした結果です（最終実行：2026年10月19日）。
- 継続的なメンテナンス10
- 危険なワークフローなし10
- リポジトリにバイナリなし10
- ライセンスの明記10
- パッケージの公開10
- コードレビュー8
- 依存関係のバージョン固定7
- トークン権限の制限0
- OpenSSF Best Practicesバッジ0
- セキュリティポリシー0
- ファジング0
- ブランチ保護0
- 署名付きリリース0
- 静的コード解析0
このスコアはプロジェクトの開発・リリースの進め方を評価するもので、プログラムを安全にインストールできるかどうかを示すものではありません。 scorecard.dev
最近のバージョン
全2バージョン ›コマンドラインでインストール
サイレントインストール ›winget install --id mthom.ScryerProlog -e関連ガイド: wingetの使い方：アプリのインストールと更新
ほかのOS向け
brew install scryer-prolog情報
- 提供元
- Mark Thom
- カテゴリ
- プログラミング言語・SDK
- ライセンス
- BSD-3-Clause
- 価格
- 無料
- ソースコード
- github.com/mthom/scryer-prolog
- 開発言語
- Rust
- 動作環境
- Windows 11 / 10
- アーキテクチャ
- 64ビット
- インストーラー
- ポータブル
- バージョン
- 0.9.3
- リリース日
- 2023年11月3日
- カタログ追加日
- 2023年9月26日
- 掲載バージョン数
- 2
- GitHubスター
- 2,462
- GitHubフォーク
- 166
- 公式サイト
- scryer.pl
- winget ID
- mthom.ScryerProlog
対応ファイル形式 (1)
評価とレビュー
まだレビューはありません。最初の評価を投稿してください。
Scryer Prologの代替ソフト
すべて表示 ›-
オープンソース210.9万 ↓ -
オープンソース283.4万 ↓ -
オープンソース25万 ↓ -
オープンソース369.7万 ↓ -
オープンソース185.8万 ↓ -
オープンソース26.4万 ↓ -
オープンソース222.5万 ↓ -
オープンソース144.9万 ↓
よくある質問
Scryer Prologは無料ですか？
はい。Scryer Prologはオープンソースのソフトです（BSD-3-Clauseライセンス）。
Scryer Prologのダウンロードは安全ですか？
ファイルはgithub.comから配信されます。github.comは提供元のドメインです。ExeAtlasはファイルをホストしておらず、改変もしていません。ダウンロードしたファイルのSHA256をこのページに記載の値と照合するか、そのハッシュのVirusTotalレポートを確認してください。
Scryer Prologをwingetでインストールするには？
PowerShellかWindowsターミナルを開き、このページに記載のwingetコマンドを実行します。wingetは公式インストーラーをダウンロードし、実行前にSHA256ハッシュを検証します。
Scryer PrologはARM版Windows（Windows on Arm）で動きますか？
ARM64版はありません。Windows 11 on Armでは、エミュレーションによって64ビット版を実行できます。
Scryer Prologの旧バージョンはどこでダウンロードできますか？
バージョン一覧のページに、2023年8月28日以降の全2件のバージョンを公式インストーラーへのリンク付きで掲載しています。
Scryer Prologは管理者権限なしで使えますか？
はい。ポータブル版なので、展開してそのまま実行できます。
Scryer Prologの代わりになるソフトは？
Go Programming Language、LLVM、Deno、CMake、Yarnなどがあります。代替ソフトのページで比較できます。
