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.
Udgiverens beskrivelse (engelsk)
Hvad er Scryer Prolog?
Scryer Prolog fra Mark Thom er open source-software til Windows (kategori: Sprog og SDK’er). Programmeringssprog: Rust.
Installation og systemkrav
Udgiveren tilbyder installationsfiler til 64-bit (Portabel). Programmet kører uden installation (portabelt).
Opdateringer og versionshistorik
Den nyeste version er 0.9.3, udgivet 3. november 2023. Versionshistorikken rummer 2 udgivelser og går tilbage til 28. august 2023; alle linker til de officielle filer. Den seneste opdatering er mere end et år gammel.
Popularitet og filtyper
Kildekoden på GitHub (mthom/scryer-prolog) har 2.462 stjerner. I Windows registrerer programmet én filtype, blandt andet .pl. Lignende programmer er for eksempel Go Programming Language, LLVM og Deno.
Projektbeskrivelse på GitHub: “A modern Prolog implementation written mostly in Rust.”
Fordele / Ulemper
Fordele
- Open source: alle kan gennemse og kompilere koden
- Portabelt: kører uden installation
Ulemper
- Ingen indbygget ARM64-version
- Ingen opdatering i over et år
Kort sagt: Scryer Prolog er et værktøj med åben kildekode i kategorien Sprog og SDK’er til pc’er med 64-bit. Opdateringerne er blevet sjældnere.
Er det sikkert at downloade Scryer Prolog?
- Filen leveres af github.com, udgiverens eget domæne
- Downloadlinket bruger HTTPS
- Der er offentliggjort en SHA256-hash, så du kan kontrollere filen:
B6CA52B7D1E447A16CA55EC3BE3F3BA772021E3F6531C76ACAA62617C7973248· Åbn VirusTotal-rapporten for denne hash - Linket er ikke kontrolleret endnu
- Kildekoden er offentlig
- ExeAtlas hoster, indpakker eller ændrer ikke installationsfiler
Relateret vejledning: Sådan tjekker du en fils SHA256-hash i Windows
Sikkerhedspraksis (OpenSSF Scorecard)
Automatiske kontroller af repositoriet mthom/scryer-prolog på GitHub, udført af Open Source Security Foundation og senest kørt den 19. oktober 2026.
- Aktivt vedligeholdt10
- Ingen farlige workflows10
- Ingen binære filer i repositoriet10
- Licens angivet10
- Udgivne pakker10
- Kodegennemgang8
- Fastlåste afhængigheder7
- Begrænsede token-rettigheder0
- OpenSSF Best Practices-badge0
- Sikkerhedspolitik0
- Fuzzing0
- Beskyttede branches0
- Signerede udgivelser0
- Statisk kodeanalyse0
Scoren vurderer, hvordan projektet udvikles og udgives, ikke om programmet er sikkert at installere. scorecard.dev
Nyeste versioner
Alle 2 versioner ›| Version | Dato | Størrelse | Filer |
|---|---|---|---|
| 0.9.3Nyeste | 3. november 2023 | — | 64-bit ZIP |
| 0.9.2 | 28. august 2023 | — | 64-bit ZIP |
Installér fra kommandolinjen
Lydløs installation ›winget install --id mthom.ScryerProlog -eRelateret vejledning: winget: installer og opdater programmer i Windows
Findes også til andre systemer
brew install scryer-prologInformation
- Udgiver
- Mark Thom
- Kategori
- Sprog og SDK’er
- Licens
- BSD-3-Clause
- Pris
- Gratis
- Kildekode
- github.com/mthom/scryer-prolog
- Programmeringssprog
- Rust
- Kræver
- Windows 11 / 10
- Arkitektur
- 64-bit
- Installationsfil
- Portabel
- Version
- 0.9.3
- Udgivet
- 3. november 2023
- I kataloget siden
- 26. september 2023
- Registrerede versioner
- 2
- GitHub-stjerner
- 2.462
- GitHub-forks
- 166
- Websted
- scryer.pl
- winget-id
- mthom.ScryerProlog
Filtyper, som programmet åbner (1)
Bedømmelser og anmeldelser
Ingen anmeldelser endnu. Vær den første til at bedømme programmet.
Alternativer til Scryer Prolog
Se alle ›-
Open source2,1 mio. ↓ -
Open source2,8 mio. ↓ -
Open source249,7 t ↓ -
Open source3,7 mio. ↓ -
Open source1,9 mio. ↓ -
Open source263,6 t ↓ -
Open source2,2 mio. ↓ -
Open source1,4 mio. ↓
Ofte stillede spørgsmål
Er Scryer Prolog gratis?
Ja. Scryer Prolog er open source-software under licensen BSD-3-Clause.
Er det sikkert at downloade Scryer Prolog?
Filen kommer fra github.com, som tilhører udgiveren; ExeAtlas hoster eller ændrer den ikke. Sammenlign filens SHA256-hash med den, der vises her, eller åbn VirusTotal-rapporten for hashen.
Hvordan installerer jeg Scryer Prolog med winget?
Åbn PowerShell eller Windows Terminal, og kør winget-kommandoen, der vises på denne side. winget downloader den officielle installationsfil og kontrollerer SHA256-hashen, før den køres.
Kører Scryer Prolog på ARM (Windows on Arm)?
Der findes ingen ARM64-version; Windows 11 on Arm kan køre versionen til 64-bit via emulering.
Hvor kan jeg downloade en ældre version af Scryer Prolog?
Versionssiden viser alle 2 versioner siden 28. august 2023 med links til de officielle installationsfiler.
Kan jeg bruge Scryer Prolog uden administratorrettigheder?
Ja, programmet er portabelt: pak det ud, og start det.
Hvilke alternativer findes der til Scryer Prolog?
Go Programming Language, LLVM, Deno, CMake og Yarn. Siden med alternativer sammenligner dem.
