SWI-Prolog

SWI-Prolog · SWI-Prolog.SWI-Prolog

A versatile implementation of the Prolog language

SWI-Prolog offers a comprehensive free Prolog environment. Since its start in 1987, SWI-Prolog development has been driven by the needs of real world applications. SWI-Prolog is widely used in research and education as well as commercial applications.

winget install --id SWI-Prolog.SWI-Prolog --exact --source winget

Latest 10.0.2

Release Notes

Installer type: nullsoft

Architecture Scope Download SHA256
x64 Download 2EC1F25BE0EAFB92E559004782B130774C12573FB4B7E8A917E534754A641AD6

Details

Homepage
https://www.swi-prolog.org/
License
BSD-2-Clause
Publisher
SWI-Prolog
Support
https://www.swi-prolog.org/community.html
Copyright
Copyright (c) 2026, SWI-Prolog Solutions b.v. All rights reserved.
Moniker
swipl

Tags

languagelogicprogrammingprolog

Older versions (20)

10.0.1
Architecture Scope Download SHA256
x64 Download E44D68593977522448953ACB0B907ECC75728A22DAB7BB4EADA1B710E707239A
10.0.0
Architecture Scope Download SHA256
x64 Download 766DAFB79FB657D711813A2574D16C35E2F417C8005A0AD064AA18BF63476CA4
9.2.9
Architecture Scope Download SHA256
x86 Download 1C9A87F2FD3ECC5311226B72A9B03989E500250FF469D7418F31706CE16B2DE7
x64 Download 0E6DBF5F4BB245344A257F2715F5D793D17870DEE9EEA1735CCB67B35F1E037C
9.2.8
Architecture Scope Download SHA256
x86 Download E7F151EE64D8BB2EC148C8C67D7E57B697483D87BF3E3E779FD33242AFC33504
x64 Download 82F0B4B44D415E9AD903759D48CDD513EA7951FDEAEBC2585C209B1DC3B02E02
9.2.7
Architecture Scope Download SHA256
x86 Download 2DAF0843A38B8A96F0A292554DF6BE8CEC4C1A7A3012A8FD7909BD29CA44307B
x64 Download 125759909B6D1DC43323CDAA98A62B8F765A40748D9D2C9F3AE028D05441E117
9.2.6
Architecture Scope Download SHA256
x86 Download 91BBC8EF55DB4D7394E2FFA73084196C3339CE3D9001BC0A9AA668A3E8AF29AA
x64 Download 958AC9F0AC2622ABD69BA0DF8615E23EF9E3C1E2DD7B4589841C2DB0FF5089F1
9.2.5
Architecture Scope Download SHA256
x86 Download C5235C31DFA217ED2A2CB4C8375E8EC36C672B3F71A2496A3DAC1EAE2A4DD1FE
x64 Download 2B412C2EB45C120B7215E013FBCD53EF3B7FA912F1D50E806BCFBB31F06E0CAB
9.2.4
Architecture Scope Download SHA256
x86 Download 36F5591383655BD54AB324BE22213D437F3C70737A0F22E51ADF28DC4D0ADCFC
x64 Download 328CE83B7FE5DBF59D179D5DDD4E2C3051341B63BBA132D5B1D89E95C3F11A33
9.2.3
Architecture Scope Download SHA256
x86 Download 7926195142C8ED285730C6F02268DA725D571768B72EC34ECCCCCCF8DADBFADB
x64 Download 3DEE13956FC89F4AF96E476691B5254D42929E01878C4620D6DF48F00844795D
9.2.2
Architecture Scope Download SHA256
x86 Download F4E7411888FF41846CDB8885C44DEAA7200E64EEEC3081891B68AC095C25319F
x64 Download 2635A2A66842B2EDF0DA62CD1847E59412056A2B7F7E5583BE9E6E8824A4C1B6
9.2.1
Architecture Scope Download SHA256
x86 Download 314C4ACDC31D3DF309A80135B2992FC9F18F1C1D4F0263377727AF1EB72A997C
x64 Download F2122B97448291AF2EECE3711B32EE43AB743C50FF77A50E8151C58D2FF90CE8
9.2.0
Architecture Scope Download SHA256
x86 Download FEC3F19B58D6EDCBBA5C9547135F82F1479FDE1E30D4FC786379CFFB1B787860
x64 Download B7F41031E28A8C3D442A5F63C1D32250C263EA116B5ECA655E54122627A7408E
9.0.4
Architecture Scope Download SHA256
x86 Download C99B7B794D14335CA6FDA556F959E74C4B1B51877673A404F87C9CB68BCE794C
x64 Download 33758F1C2DD190DF9C8828D2DCB39166AD10D31D78F1198812E6D0F33B71C73B
9.0.3
Architecture Scope Download SHA256
x64 Download CAF7C68D5095845A8A310B3297721ABF6465BC599A814EFCFE831535EA546E29
x86 Download 50E63E1CECE1E006994E640F13F68F00448C0194532990AD549676C6EDC4C4D6
9.0.0
Architecture Scope Download SHA256
x64 Download 195E249759CF12FC1FD8330E25A83F4701C3D5937ED3C09022DA4EF75633ADCF
x86 Download E58A4B26F1ABDBB46CF56B267E734671AA7B780DF93D0D965B7FC07125B3D80F
8.4.3
Architecture Scope Download SHA256
x86 Download BE68B9AA168B982AAC204742C4865C1BF06B4F76979B3ACF7CC37D7364DC2D1A
x64 Download F85518A2D13AADF4778BCB32CCD4B47B0BE40B17E91DB8975B383AD5B6051951
8.4.2
Architecture Scope Download SHA256
x64 Download 1438B04D0A6ACB116BA836E7330B6002032B601D26334A86275993F316F95C69
x86 Download AA7C04DFEFCA4E1D1A44809EE1D1931E4530BC71B6BA7992948441CA1A3BC14A
8.4.1
Architecture Scope Download SHA256
x64 Download 212271267CAF0B914534519D4A553FEB8E4608979D635CFABA63C125461084E5
x86 Download 17355CD21F82D3778DB53D772AB9C6C2F4DF065653BBAB36105BA3D4321811F9
8.4.0
Architecture Scope Download SHA256
x64 Download 707F0DE518DBA327A6776E755470E49EE39917C443B4707B30F7FE44E6B5CECB
x86 Download C32F01520B70A232D4B672D8C0AAAC62B26F4E8803CF74F8175A48353766C2A5
8.2.4
Architecture Scope Download SHA256
x64 Download 787BFB6F588479CBCA2DFBB13011C738EFF8935280287B62E40ABC6E7C036839
x86 Download 29DF223FBAEE7A07D0B56D32CD86B482C272AC9B1C987A4503C9AF0F5EA1DE13