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.
Beschreibung des Herstellers (Englisch)
Was ist Scryer Prolog?
Scryer Prolog von Mark Thom ist quelloffene Software für Windows (Kategorie: Programmiersprachen & SDKs). Programmiersprache: Rust.
Installation und Systemvoraussetzungen
Der Hersteller bietet Setups für 64-Bit an (Portabel). Das Programm läuft ohne Installation (portabel).
Updates und Versionsverlauf
Aktuell ist Version 0.9.3, veröffentlicht am 3. November 2023. Erfasst sind 2 Releases, das älteste vom 28. August 2023; alle verweisen auf die offiziellen Dateien. Das letzte Update liegt mehr als ein Jahr zurück.
Verbreitung und Dateitypen
Der Quellcode auf GitHub (mthom/scryer-prolog) hat 2.462 Sterne. Unter Windows registriert das Programm einen Dateityp, darunter .pl. Vergleichbare Programme sind etwa Go Programming Language, LLVM und Deno.
Projektbeschreibung auf GitHub: “A modern Prolog implementation written mostly in Rust.”
Vorteile / Nachteile
Vorteile
- Open Source: Der Quellcode ist einsehbar und lässt sich selbst kompilieren
- Portabel: läuft ohne Installation
Nachteile
- Keine native ARM64-Version
- Seit über einem Jahr kein Update
Kurz gesagt: Scryer Prolog ist ein quelloffenes Tool aus der Kategorie „Programmiersprachen & SDKs“ für PCs mit 64-Bit. Die Updates sind seltener geworden.
Ist der Download von Scryer Prolog sicher?
- Die Datei kommt von github.com, einer Domain des Herstellers
- Der Download-Link verwendet HTTPS
- Ein SHA256-Hash ist veröffentlicht, die Datei lässt sich also prüfen:
B6CA52B7D1E447A16CA55EC3BE3F3BA772021E3F6531C76ACAA62617C7973248· VirusTotal-Bericht zu diesem Hash öffnen - Der Link wurde noch nicht geprüft
- Der Quellcode ist öffentlich
- ExeAtlas hostet, verpackt oder verändert keine Installer
Passende Anleitung: SHA256-Hash einer Datei unter Windows prüfen
Sicherheitspraktiken (OpenSSF Scorecard)
Automatische Prüfungen des Repositorys mthom/scryer-prolog auf GitHub durch die Open Source Security Foundation, zuletzt am 19. Oktober 2026.
- Aktiv gepflegt10
- Keine gefährlichen Workflows10
- Keine Binärdateien im Repository10
- Lizenz angegeben10
- Veröffentlichte Pakete10
- Code-Review8
- Fixierte Abhängigkeiten7
- Eingeschränkte Token-Rechte0
- OpenSSF-Best-Practices-Badge0
- Sicherheitsrichtlinie0
- Fuzzing0
- Branch-Schutz0
- Signierte Releases0
- Statische Codeanalyse0
Der Wert bewertet, wie das Projekt entwickelt und veröffentlicht wird, nicht, ob die Installation des Programms sicher ist. scorecard.dev
Neueste Versionen
Alle 2 Versionen ›| Version | Datum | Größe | Dateien |
|---|---|---|---|
| 0.9.3Aktuell | 3. November 2023 | — | 64-Bit ZIP |
| 0.9.2 | 28. August 2023 | — | 64-Bit ZIP |
Installation per Kommandozeile
Silent Install ›winget install --id mthom.ScryerProlog -ePassende Anleitung: winget-Anleitung: Programme installieren und updaten
Auch für andere Systeme
brew install scryer-prologInformationen
- Hersteller
- Mark Thom
- Kategorie
- Programmiersprachen & SDKs
- Lizenz
- BSD-3-Clause
- Preis
- Kostenlos
- Quellcode
- github.com/mthom/scryer-prolog
- Programmiersprache
- Rust
- Voraussetzung
- Windows 11 / 10
- Architektur
- 64-Bit
- Installer
- Portabel
- Version
- 0.9.3
- Veröffentlicht
- 3. November 2023
- Im Katalog seit
- 26. September 2023
- Erfasste Versionen
- 2
- GitHub-Sterne
- 2.462
- GitHub-Forks
- 166
- Website
- scryer.pl
- winget-ID
- mthom.ScryerProlog
Unterstützte Dateitypen (1)
Bewertungen und Rezensionen
Noch keine Rezensionen. Geben Sie die erste Bewertung ab.
Alternativen zu Scryer Prolog
Alle anzeigen ›-
Open Source2,1 Mio. ↓ -
LLVM23.1.4Das LLVM-Projekt ist eine Sammlung von modularen, wiederverwendbaren Compiler-Toolchain-Technologien.Open Source2,8 Mio. ↓ -
Open Source249.674 ↓ -
Open Source3,7 Mio. ↓ -
Open Source1,9 Mio. ↓ -
Open Source263.649 ↓ -
Open Source2,2 Mio. ↓ -
Open Source1,4 Mio. ↓
Häufige Fragen
Ist Scryer Prolog kostenlos?
Ja. Scryer Prolog ist Open-Source-Software unter der Lizenz BSD-3-Clause.
Ist der Download von Scryer Prolog sicher?
Die Datei kommt von github.com, einer Domain des Herstellers; ExeAtlas hostet oder verändert sie nicht. Vergleichen Sie den SHA256-Hash der heruntergeladenen Datei mit dem hier angezeigten oder öffnen Sie den VirusTotal-Bericht zu diesem Hash.
Wie installiere ich Scryer Prolog mit winget?
Öffnen Sie PowerShell oder Windows Terminal und führen Sie den winget-Befehl auf dieser Seite aus. winget lädt das offizielle Setup herunter und prüft vor dem Start den SHA256-Hash.
Läuft Scryer Prolog auf ARM (Windows on Arm)?
Eine ARM64-Version gibt es nicht; Windows 11 on Arm kann die Version für 64-Bit per Emulation ausführen.
Wo kann ich eine ältere Version von Scryer Prolog herunterladen?
Die Versionsseite listet alle 2 Versionen seit 28. August 2023 mit Links zu den offiziellen Installationsdateien.
Kann ich Scryer Prolog ohne Administratorrechte nutzen?
Ja, das Programm ist portabel: entpacken und starten.
Welche Alternativen zu Scryer Prolog gibt es?
Go Programming Language, LLVM, Deno, CMake und Yarn. Die Seite mit den Alternativen vergleicht sie.
