Populært: Data oppdatert 27. oktober 2026

Kategorier

Internett1 356
Kommunikasjon321
Lyd og video898
Grafikk og design539
Kontor og produktivitet1 124
Utviklerverktøy3 134
KI-verktøy529
Sikkerhet og personvern385
Systemverktøy3 114
Spill523
Utdanning og vitenskap239
Nettverk og IT284

Last ned Scryer Prolog 0.9.3 for Windows

A modern Prolog implementation written mostly in Rust.

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.

Utgiverens beskrivelse (engelsk)

Hva er Scryer Prolog?

Scryer Prolog fra Mark Thom er programvare med åpen kildekode for Windows (kategori: Programmeringsspråk og SDK-er). Programmeringsspråk: Rust.

Installasjon og systemkrav

Utgiveren tilbyr installasjonsfiler for 64-bit; filformater: Portabel. Programmet kjører uten installasjon (portabelt).

Oppdateringer og versjonshistorikk

Nyeste versjon er 0.9.3, utgitt 3. november 2023. Versjonshistorikken går tilbake til 28. august 2023: 2 utgivelser, alle med lenker til de offisielle filene. Det er mer enn ett år siden forrige oppdatering.

Popularitet og filtyper

Kildekoden på GitHub (mthom/scryer-prolog) har 2 462 stjerner. I Windows registrerer det 1 filtype, blant annet .pl. Lignende programmer er blant annet Go Programming Language, LLVM og Deno.

Prosjektbeskrivelse på GitHub: “A modern Prolog implementation written mostly in Rust.”

Fordeler / Ulemper

Fordeler

  • Åpen kildekode: hvem som helst kan se gjennom og bygge koden
  • Portabelt: kjører uten installasjon

Ulemper

  • Ingen egen ARM64-versjon
  • Ingen oppdatering på over ett år

Kort sagt: Scryer Prolog er et verktøy med åpen kildekode i kategorien Programmeringsspråk og SDK-er for PC-er med 64-bit. Oppdateringene har blitt sjeldnere.

Er det trygt å laste ned Scryer Prolog?

  • Filen leveres av github.com, utgiverens eget domene
  • Nedlastingslenken bruker HTTPS
  • En SHA256-sum er publisert, så du kan kontrollere filen: B6CA52B7D1E447A16CA55EC3BE3F3BA772021E3F6531C76ACAA62617C7973248 · Åpne VirusTotal-rapporten for denne sjekksummen
  • Lenken er ikke sjekket ennå
  • Kildekoden er offentlig
  • ExeAtlas lagrer, pakker inn eller endrer aldri installasjonsfiler

Relatert veiledning: Slik sjekker du SHA256-summen til en fil i Windows

Sikkerhetspraksis (OpenSSF Scorecard)

4,9/10

Automatiske kontroller av repositoriet mthom/scryer-prolog på GitHub, utført av Open Source Security Foundation. Sist kjørt 19. oktober 2026.

  • Aktivt vedlikeholdt10
  • Ingen farlige arbeidsflyter10
  • Ingen binærfiler i repositoriet10
  • Lisens oppgitt10
  • Publiserte pakker10
  • Kodegjennomgang8
  • Låste avhengigheter7
  • Begrensede token-tillatelser0
  • OpenSSF Best Practices-merke0
  • Sikkerhetspolicy0
  • Fuzzing0
  • Grenbeskyttelse0
  • Signerte utgivelser0
  • Statisk kodeanalyse0

Poengsummen vurderer hvordan prosjektet utvikles og publiseres, ikke om programmet er trygt å installere. scorecard.dev

Nyeste versjoner

Alle 2 versjoner ›
2023: 2 2 23
VersjonDatoStørrelseFiler
0.9.3Nyeste 3. november 2023 — 64-bit ZIP
0.9.2 28. august 2023 — 64-bit ZIP

Installer fra kommandolinjen

Stille installasjon ›
PowerShell
wingetwinget install --id mthom.ScryerProlog -e

Relatert veiledning: winget: installer og oppdater programmer i Windows

Finnes også for andre systemer

macOS (Homebrew)brew install scryer-prolog

Informasjon

Utgiver
Mark Thom
Kategori
Programmeringsspråk og SDK-er
Lisens
BSD-3-Clause
Pris
Gratis
Kildekode
github.com/mthom/scryer-prolog
Programmeringsspråk
Rust
Krav
Windows 11 / 10
Arkitektur
64-bit
Installasjonsfil
Portabel
Versjon
0.9.3
Utgitt
3. november 2023
Lagt til i katalogen
26. september 2023
Registrerte versjoner
2
GitHub-stjerner
2 462
GitHub-forker
166
Nettsted
scryer.pl
winget-ID
mthom.ScryerProlog

Filtyper programmet åpner (1)

Vurderinger og anmeldelser

–
0 vurderinger
50
40
30
20
10
Vurder programmet

Ingen anmeldelser ennå. Bli den første til å gi en vurdering.

Alternativer til Scryer Prolog

Se alle ›
  • Go Programming Language1.27.0Programmeringsspråk og SDK-er
    Åpen kildekode2,1 mill. ↓
  • LLVM23.1.4Programmeringsspråk og SDK-er · LLVM
    Åpen kildekode2,8 mill. ↓
  • Deno2.9.8Programmeringsspråk og SDK-er · Deno Land Inc.
    Åpen kildekode249,7k ↓
  • CMake4.4.4Programmeringsspråk og SDK-er · Kitware
    Åpen kildekode3,7 mill. ↓
  • Yarn1.22.22Programmeringsspråk og SDK-er · Yarn Contributors
    Åpen kildekode1,9 mill. ↓
  • sbt2.0.11Programmeringsspråk og SDK-er · Lightbend, Inc.
    Åpen kildekode263,6k ↓
  • Ccache4.14.1Programmeringsspråk og SDK-er · Joel Rosdahl
    Åpen kildekode2,2 mill. ↓
  • Dart SDK3.13.7Programmeringsspråk og SDK-er · Google
    Åpen kildekode1,4 mill. ↓

Ofte stilte spørsmål

Er Scryer Prolog gratis?

Ja. Scryer Prolog er programvare med åpen kildekode under lisensen BSD-3-Clause.

Er det trygt å laste ned Scryer Prolog?

Filen lastes ned fra github.com, som tilhører utgiveren; ExeAtlas verken lagrer eller endrer den. Sammenlign SHA256-summen for filen med den som vises her, eller åpne VirusTotal-rapporten for sjekksummen.

Hvordan installerer jeg Scryer Prolog med winget?

Åpne PowerShell eller Windows Terminal og kjør winget-kommandoen som vises på denne siden. winget laster ned den offisielle installasjonsfilen og kontrollerer SHA256-summen før den kjøres.

Kjører Scryer Prolog på ARM (Windows on Arm)?

Det finnes ingen ARM64-versjon; Windows 11 on Arm kan kjøre versjonen for 64-bit gjennom emulering.

Hvor kan jeg laste ned en eldre versjon av Scryer Prolog?

Versjonssiden viser alle 2 versjonene tilbake til 28. august 2023, med lenker til de offisielle installasjonsfilene.

Kan jeg bruke Scryer Prolog uten administratorrettigheter?

Ja, programmet er portabelt: pakk ut og kjør.

Hvilke alternativer finnes til Scryer Prolog?

Go Programming Language, LLVM, Deno, CMake og Yarn. Siden med alternativer sammenligner dem.

Denne siden på andre språk

Meld fra om feil

Mest populær i Programmeringsspråk og SDK-er

Se alle
  1. Go Programming LanguageProgrammeringsspråk og SDK-er
  2. LLVMProgrammeringsspråk og SDK-er · LLVM
  3. DenoProgrammeringsspråk og SDK-er · Deno Land Inc.
  4. CMakeProgrammeringsspråk og SDK-er · Kitware
  5. YarnProgrammeringsspråk og SDK-er · Yarn Contributors
  6. CcacheProgrammeringsspråk og SDK-er · Joel Rosdahl
  7. sbtProgrammeringsspråk og SDK-er · Lightbend, Inc.
  8. BOINCProgrammeringsspråk og SDK-er · Space Sciences Laboratory, U.C. Berkeley
  9. Dart SDKProgrammeringsspråk og SDK-er · Google
  10. NVM for WindowsProgrammeringsspråk og SDK-er · Ecor Ventures LLC

Stikkord

Del