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.
Julkaisijan kuvaus (englanti)
Mikä on Scryer Prolog?
Scryer Prolog on avoimen lähdekoodin ohjelmisto Windowsille (kategoria: Ohjelmointikielet ja SDK:t). Julkaisija: Mark Thom. Ohjelmointikieli: Rust.
Asennus ja järjestelmävaatimukset
Julkaisija tarjoaa asennusohjelmat seuraaville: 64-bittinen; tiedostomuodot: Portable. Ohjelma toimii ilman asennusta (portable).
Päivitykset ja versiohistoria
Uusin versio on 0.9.3, julkaistu 3. marraskuuta 2023. Versiohistoriassa on 2 julkaisua, vanhin 28. elokuuta 2023; kaikki linkittävät virallisiin tiedostoihin. Viimeisimmästä päivityksestä on yli vuosi.
Suosio ja tiedostotyypit
Lähdekoodilla GitHubissa (mthom/scryer-prolog) on 2 462 tähteä. Windowsissa ohjelma rekisteröi 1 tiedostotyypin, muun muassa .pl. Samankaltaisia ohjelmia ovat esimerkiksi Go Programming Language, LLVM ja Deno.
Projektin kuvaus GitHubissa: “A modern Prolog implementation written mostly in Rust.”
Plussat / Miinukset
Plussat
- Avoin lähdekoodi: kuka tahansa voi tarkastella koodia ja kääntää sen itse
- Portable: toimii ilman asennusta
Miinukset
- Ei natiivia ARM64-versiota
- Ei päivityksiä yli vuoteen
Lyhyesti: Scryer Prolog on avoimen lähdekoodin työkalu kategoriasta Ohjelmointikielet ja SDK:t (64-bittinen). Päivitykset ovat harventuneet.
Onko Scryer Prolog -ohjelman lataaminen turvallista?
- Tiedoston jakelee github.com, joka on julkaisijan oma verkkotunnus
- Latauslinkki käyttää HTTPS-yhteyttä
- SHA256-tiiviste on julkaistu, joten tiedoston voi tarkistaa:
B6CA52B7D1E447A16CA55EC3BE3F3BA772021E3F6531C76ACAA62617C7973248· Avaa tämän tiivisteen VirusTotal-raportti - Linkkiä ei ole vielä tarkistettu
- Lähdekoodi on julkinen
- ExeAtlas ei säilytä, kääri eikä muokkaa asennusohjelmia
Aiheeseen liittyvä opas: Näin tarkistat tiedoston SHA256-tiivisteen Windowsissa
Tietoturvakäytännöt (OpenSSF Scorecard)
Open Source Security Foundationin automaattiset tarkistukset GitHub-repositoriolle mthom/scryer-prolog, viimeksi ajettu 19. lokakuuta 2026.
- Aktiivisesti ylläpidetty10
- Ei vaarallisia työnkulkuja10
- Ei binääritiedostoja repositoriossa10
- Lisenssi ilmoitettu10
- Julkaistut paketit10
- Koodikatselmointi8
- Lukitut riippuvuudet7
- Rajatut tunnusten oikeudet0
- OpenSSF Best Practices -merkki0
- Tietoturvakäytäntö0
- Fuzz-testaus0
- Haarojen suojaus0
- Allekirjoitetut julkaisut0
- Staattinen koodianalyysi0
Pisteet kertovat, miten projektia kehitetään ja julkaistaan, eivät sitä, onko ohjelma turvallinen asentaa. scorecard.dev
Viimeisimmät versiot
Kaikki versiot (2) ›| Versio | Päivämäärä | Koko | Tiedostot |
|---|---|---|---|
| 0.9.3Uusin | 3. marraskuuta 2023 | — | 64-bittinen ZIP |
| 0.9.2 | 28. elokuuta 2023 | — | 64-bittinen ZIP |
Asennus komentoriviltä
Hiljainen asennus ›winget install --id mthom.ScryerProlog -eAiheeseen liittyvä opas: winget-opas: ohjelmien asennus ja päivitys
Saatavilla myös muille järjestelmille
brew install scryer-prologTiedot
- Julkaisija
- Mark Thom
- Kategoria
- Ohjelmointikielet ja SDK:t
- Lisenssi
- BSD-3-Clause
- Hinta
- Ilmainen
- Lähdekoodi
- github.com/mthom/scryer-prolog
- Ohjelmointikieli
- Rust
- Vaatimukset
- Windows 11 / 10
- Arkkitehtuuri
- 64-bittinen
- Asennusohjelma
- Portable
- Versio
- 0.9.3
- Julkaistu
- 3. marraskuuta 2023
- Lisätty luetteloon
- 26. syyskuuta 2023
- Versioita luettelossa
- 2
- GitHub-tähdet
- 2 462
- GitHub-haarat
- 166
- Verkkosivusto
- scryer.pl
- winget-tunnus
- mthom.ScryerProlog
Tiedostotyypit, jotka se avaa (1)
Arviot ja arvostelut
Ei vielä arvosteluja. Anna ensimmäinen arvio.
Vaihtoehtoja Scryer Prolog -ohjelmalle
Näytä kaikki ›-
Avoin lähdekoodi2,1 milj. ↓ -
Avoin lähdekoodi2,8 milj. ↓ -
Avoin lähdekoodi249,7 t. ↓ -
Avoin lähdekoodi3,7 milj. ↓ -
Avoin lähdekoodi1,9 milj. ↓ -
Avoin lähdekoodi263,6 t. ↓ -
Avoin lähdekoodi2,2 milj. ↓ -
Avoin lähdekoodi1,4 milj. ↓
Usein kysytyt kysymykset
Onko Scryer Prolog ilmainen?
Kyllä. Scryer Prolog on avoimen lähdekoodin ohjelmisto, lisenssi BSD-3-Clause.
Onko Scryer Prolog -ohjelman lataaminen turvallista?
Tiedosto ladataan osoitteesta github.com, joka kuuluu julkaisijalle; ExeAtlas ei säilytä eikä muuta tiedostoa. Vertaa ladatun tiedoston SHA256-tiivistettä tällä sivulla näkyvään tai avaa tiivisteen VirusTotal-raportti.
Miten Scryer Prolog asennetaan wingetillä?
Avaa PowerShell tai Windows Terminal ja suorita tällä sivulla näkyvä winget-komento. winget lataa virallisen asennusohjelman ja tarkistaa sen SHA256-tiivisteen ennen suorittamista.
Toimiiko Scryer Prolog ARM-koneissa (Windows on Arm)?
ARM64-versiota ei ole; Windows 11 on Arm voi ajaa saatavilla olevan version (64-bittinen) emuloituna.
Mistä voi ladata Scryer Prolog -ohjelman vanhemman version?
Versiosivulla ovat kaikki 2 versiota 28. elokuuta 2023 alkaen linkkeineen virallisiin asennustiedostoihin.
Voiko Scryer Prolog -ohjelmaa käyttää ilman järjestelmänvalvojan oikeuksia?
Kyllä, ohjelma on portable: pura ja käynnistä.
Mitä vaihtoehtoja Scryer Prolog -ohjelmalle on?
Go Programming Language, LLVM, Deno, CMake ja Yarn. Vaihtoehtosivu vertailee niitä.
