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.
Description de l’éditeur (anglais)
Scryer Prolog : présentation
Publié par Mark Thom, Scryer Prolog fait partie des logiciels open source pour Windows de la catégorie « Langages et SDK ». Il est développé en Rust.
Installation et configuration requise
L’éditeur fournit des installateurs Portable pour les versions 64 bits de Windows. Il fonctionne sans installation (version portable).
Mises à jour et historique des versions
La version actuelle est la 0.9.3, sortie le 3 novembre 2023. L’historique compte 2 versions, la plus ancienne datant du 28 août 2023, toutes reliées aux fichiers officiels. La dernière mise à jour date de plus d’un an.
Popularité et types de fichiers
Le code source publié sur GitHub (mthom/scryer-prolog) compte 2 462 étoiles. Sous Windows, il s’associe à 1 type de fichier, dont .pl. Parmi les logiciels comparables figurent Go Programming Language, LLVM et Deno.
Description du projet sur GitHub: “A modern Prolog implementation written mostly in Rust.”
Points forts / Points faibles
Points forts
- Open source : chacun peut examiner et compiler le code
- Portable : fonctionne sans installation
Points faibles
- Pas de version ARM64 native
- Aucune mise à jour depuis plus d’un an
En résumé: Scryer Prolog est un logiciel open source de la catégorie « Langages et SDK », proposé pour les PC 64 bits. Ses mises à jour se sont espacées.
Scryer Prolog : le téléchargement est-il sûr ?
- Le fichier est servi par github.com, le domaine de l’éditeur
- Le lien de téléchargement utilise HTTPS
- Une empreinte SHA256 est publiée : le fichier peut être vérifié:
B6CA52B7D1E447A16CA55EC3BE3F3BA772021E3F6531C76ACAA62617C7973248· Ouvrir le rapport VirusTotal de cette empreinte - Le lien n’a pas encore été vérifié
- Le code source est public
- ExeAtlas n’héberge, n’emballe ni ne modifie aucun installateur
Guide associé: Vérifier l’empreinte SHA256 d’un fichier sous Windows
Pratiques de sécurité (OpenSSF Scorecard)
Vérifications automatiques du dépôt mthom/scryer-prolog sur GitHub, menées par l’Open Source Security Foundation ; dernière exécution le 19 octobre 2026.
- Maintenu activement10
- Aucun workflow dangereux10
- Aucun binaire dans le dépôt10
- Licence déclarée10
- Paquets publiés10
- Revue de code8
- Dépendances épinglées7
- Permissions des jetons restreintes0
- Badge OpenSSF Best Practices0
- Politique de sécurité0
- Fuzzing0
- Protection des branches0
- Versions signées0
- Analyse statique du code0
Le score porte sur la manière dont le projet est développé et publié, et non sur la sûreté du programme à l’installation. scorecard.dev
Versions récentes
Toutes les versions (2) ›| Version | Date | Taille | Fichiers |
|---|---|---|---|
| 0.9.3Dernière | 3 novembre 2023 | — | 64 bits ZIP |
| 0.9.2 | 28 août 2023 | — | 64 bits ZIP |
Installer en ligne de commande
Installation silencieuse ›winget install --id mthom.ScryerProlog -eGuide associé: Utiliser winget : installer et mettre à jour
Aussi pour d’autres systèmes
brew install scryer-prologInformations
- Éditeur
- Mark Thom
- Catégorie
- Langages et SDK
- Licence
- BSD-3-Clause
- Prix
- Gratuit
- Code source
- github.com/mthom/scryer-prolog
- Langage
- Rust
- Configuration requise
- Windows 11 / 10
- Architecture
- 64 bits
- Installateur
- Portable
- Version
- 0.9.3
- Date de sortie
- 3 novembre 2023
- Ajouté au catalogue
- 26 septembre 2023
- Versions répertoriées
- 2
- Étoiles GitHub
- 2 462
- Forks GitHub
- 166
- Site officiel
- scryer.pl
- Identifiant winget
- mthom.ScryerProlog
Types de fichiers pris en charge (1)
Notes et avis
Aucun avis pour l’instant. Soyez le premier à noter ce logiciel.
Alternatives à Scryer Prolog
Tout voir ›-
Open source2,1 M ↓ -
Open source2,8 M ↓ -
Open source249,7 k ↓ -
Open source3,7 M ↓ -
Open source1,9 M ↓ -
Open source265,2 k ↓ -
Open source2,2 M ↓ -
Open source1,5 M ↓
Questions fréquentes
Scryer Prolog est-il gratuit ?
Oui. Scryer Prolog est un logiciel open source distribué sous licence BSD-3-Clause.
Scryer Prolog : le téléchargement est-il sûr ?
Le fichier est servi par github.com, un domaine qui appartient à l’éditeur ; ExeAtlas n’héberge pas le fichier et ne le modifie pas. Comparez son empreinte SHA256 avec celle affichée ici, ou ouvrez le rapport VirusTotal de cette empreinte.
Comment installer Scryer Prolog avec winget ?
Ouvrez PowerShell ou le Terminal Windows et exécutez la commande winget indiquée sur cette page. winget télécharge l’installateur officiel et vérifie son empreinte SHA256 avant de le lancer.
Scryer Prolog fonctionne-t-il sur ARM (Windows on Arm) ?
Il n’existe pas de version ARM64 ; Windows 11 sur Arm peut exécuter la version 64 bits par émulation.
Où télécharger une ancienne version de Scryer Prolog ?
La page des versions répertorie les 2 versions avec les liens vers leurs fichiers d’installation officiels, jusqu’à celle du 28 août 2023.
Peut-on utiliser Scryer Prolog sans droits d’administrateur ?
Oui, il s’agit d’une version portable : il suffit de la décompresser et de la lancer.
Quelles sont les alternatives à Scryer Prolog ?
Go Programming Language, LLVM, Deno, CMake et Yarn. La page des alternatives les compare.
