Automic VaultAutomic Vault

brew

Install scryer-prolog with Homebrew, apk, Nix, winget

Modern ISO Prolog implementation written mostly in Rust. Version 0.10.0 via Homebrew; verified 2026-06-22.

Install commandSecurity notes

install

Additional install commands

macOS

Homebrewverified · 100%
brew install scryer-prolog

local Homebrew formula metadata

Linux

Alpine Linux apkverified · 92%
sudo apk add scryer-prolog

Alpine Linux edge package indexes · scryer-prolog · source: dl-cdn.alpinelinux.org

Nixverified · 92%
nix profile install nixpkgs#scryer-prolog

nixpkgs package indexes · pkgs/by-name/sc/scryer-prolog/package.nix · source: api.github.com

Windows

Windows Package Managerverified · 92%
winget install --id mthom.ScryerProlog -e

Windows Package Manager source index · mthom.ScryerProlog · source: cdn.winget.microsoft.com

overview

Package summary

Modern ISO Prolog implementation written mostly in Rust

Commands and aliases

  • scryer-prolog

security posture

Risk level: green

narrow executable package without higher-risk signals.

Risk classifier

green risk · low confidence · appliance

Why

  • narrow executable package without higher-risk signals

Signals

  • metadata:no-higher-risk-signals

Install behavior

  • No Homebrew post-install hook is recorded in formula metadata.
  • Homebrew bottle metadata is available for 6 platform targets.
  • Installs with 1 runtime dependencies.
  • Build metadata lists 2 build dependencies.

Recommended review

Before unattended agent use, check whether the tool reads plaintext credentials, writes remote state, publishes artifacts, or shells out to plugins.

executables

Installed executables

CommandKindExposureNote
scryer-prologcliglobal executable

freshness

Version and freshness

These signals separate page generation age, package-manager activity, and upstream release comparison. Version lag is warned only when an evidence URL and comparable versions are present.

page generated2026-07-08
manager version0.10.0
manager updated2026-06-22
local dataok
upstreamcurrent
latest detectedv0.10.0

https://github.com/mthom/scryer-prolog

  • okNo freshness warnings were generated.

install metadata

Package metadata

Package keybrew:scryer-prolog
Version0.10.0
Package managerHomebrew
Package manager pagehttps://formulae.brew.sh/formula/scryer-prolog
Homepagehttps://www.scryer.pl
Repositoryhttps://github.com/mthom/scryer-prolog
Upstream docshttps://www.scryer.pl/
LicenseBSD-3-Clause
Source archivehttps://github.com/mthom/scryer-prolog/archive/refs/tags/v0.10.0.tar.gz
Last updated2026-06-22T14:06:15-07:00
Pulseupdated
Dependenciesopenssl@3
Build dependenciespkgconf, rust
Bottleavailable (on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-installnot defined
Servicenone declared

registry facts

Source database details

Source DatabaseHomebrew formula API
Taphomebrew/core
Full Namescryer-prolog
Version Scheme0
Revision0
Head VersionHEAD
Bottle Stable Root URLhttps://ghcr.io/v2/homebrew/core
Deprecatedno
Disabledno
Keg Onlyno
URL Keys
  • head
  • stable

source database matches

Other package-manager records

Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.

Nix95%

scryer-prolog

nix profile install nixpkgs#scryer-prolog
  • normalized package name match
  • Matched by: Scryer Prolog
nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/sc/scryer-prolog/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
apk95%

scryer-prolog 0.10.0-r0

Modern Prolog implementation written in Rust

https://github.com/mthom/scryer-prolog

sudo apk add scryer-prolog
  • License: BSD-3-Clause
  • Architecture: x86_64
  • Source Package: scryer-prolog
  • 1 dependencies
  • 1 provides
  • normalized package name match
  • Matched by: Scryer Prolog
Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: scryer-prolog from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz
winget95%

mthom.ScryerProlog

winget install --id mthom.ScryerProlog -e
  • normalized package name match
  • Matched by: Scryer Prolog
Windows Package Manager source index · cdn.winget.microsoft.com · Windows Package Manager source index: mthom.ScryerProlog from https://cdn.winget.microsoft.com/cache/source.msix

package graph

Links come from deterministic package relationships, av.db category and tag curation, ecosystem matches, and package hub membership.

Related tools

  • openssl@3Runtime dependency declared by Homebrew.
  • pkgconfBuild dependency declared by Homebrew.
  • rustBuild dependency declared by Homebrew.

Same workflow

  • gnu-prologShares av.db curated category or tags: cli, language-runtime, logic-programming, prolog.
  • swi-prologShares av.db curated category or tags: cli, language-runtime, logic-programming, prolog.
  • logtalkShares av.db curated category or tags: cli, language-runtime, logic-programming, prolog.
  • boaShares av.db curated category or tags: cli, language-runtime, rust.
  • ergShares av.db curated category or tags: cli, language-runtime, rust.
  • flixShares av.db curated category or tags: cli, language-runtime, logic-programming.

source trail

Generated from repository data

This page is generated by av-web from the private package SQLite artifact built by scripts/generate-pkg-sqlite.py.

Used sources

  • Geiger risk classifier
  • Nucleus package database
  • av.db category and tag curation
  • cross-ecosystem install command graph
  • external package-manager database matches
  • package relationship graph
  • package version freshness
  • package-page enrichment