| CARVIEW |
Select Language
HTTP/2 302
server: nginx
date: Fri, 09 Jan 2026 05:47:18 GMT
content-type: text/plain; charset=utf-8
content-length: 0
x-archive-redirect-reason: found capture at 20100304002310
location: https://web.archive.org/web/20100304002310/https://swi-prolog.darwinports.com/
server-timing: captures_list;dur=0.529255, exclusion.robots;dur=0.038597, exclusion.robots.policy;dur=0.028438, esindex;dur=0.009997, cdx.remote;dur=20.043870, LoadShardBlock;dur=279.272744, PetaboxLoader3.resolve;dur=126.093320, PetaboxLoader3.datanode;dur=86.983866
x-app-server: wwwb-app223-dc8
x-ts: 302
x-tr: 330
server-timing: TR;dur=0,Tw;dur=0,Tc;dur=0
set-cookie: wb-p-SERVER=wwwb-app223; path=/
x-location: All
x-as: 14061
x-rl: 0
x-na: 0
x-page-cache: MISS
server-timing: MISS
x-nid: DigitalOcean
referrer-policy: no-referrer-when-downgrade
permissions-policy: interest-cohort=()
HTTP/2 200
server: nginx
date: Fri, 09 Jan 2026 05:47:19 GMT
content-type: text/html
x-archive-orig-date: Thu, 04 Mar 2010 00:05:59 GMT
x-archive-orig-server: Apache
x-archive-orig-vary: Accept-Encoding
x-archive-orig-connection: close
x-archive-guessed-content-type: text/html
x-archive-guessed-charset: iso-8859-1
memento-datetime: Thu, 04 Mar 2010 00:23:10 GMT
link: ; rel="original", ; rel="timemap"; type="application/link-format", ; rel="timegate"
content-security-policy: default-src 'self' 'unsafe-eval' 'unsafe-inline' data: blob: archive.org web.archive.org web-static.archive.org wayback-api.archive.org athena.archive.org analytics.archive.org pragma.archivelab.org wwwb-events.archive.org
x-archive-src: 51_14_20100303150613_crawl101-c/51_14_20100304002306_crawl103.arc.gz
server-timing: captures_list;dur=0.536808, exclusion.robots;dur=0.020996, exclusion.robots.policy;dur=0.009804, esindex;dur=0.009492, cdx.remote;dur=9.566279, LoadShardBlock;dur=138.392892, PetaboxLoader3.datanode;dur=113.851687, load_resource;dur=176.688657, PetaboxLoader3.resolve;dur=77.917169
x-app-server: wwwb-app223-dc8
x-ts: 200
x-tr: 395
server-timing: TR;dur=0,Tw;dur=0,Tc;dur=1
x-location: All
x-as: 14061
x-rl: 0
x-na: 0
x-page-cache: MISS
server-timing: MISS
x-nid: DigitalOcean
referrer-policy: no-referrer-when-downgrade
permissions-policy: interest-cohort=()
content-encoding: gzip
Swi-prolog version 5.8.0 - How to Download and Install on Mac OS X
|
|||||||||
Wednesday the 3rd of March, 2010 |
|||||||||
swi-prolog most recent diffversion 5.8.0
Scroll down toward the bottom of the page to get installation instructions for swi-prolog. The raw portfile for swi-prolog 5.8.0 is located here: https://swi-prolog.darwinports.com/dports/lang/swi-prolog/Portfile Find related portfiles with the unique DarwinPorts.com search feature. Check for any related Fink projects here: pdb.finkproject.org/pdb/package.php/swi-prolog # -*- coding: utf-8; mode: tcl; tab-width: 4; truncate-lines: t; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:et:sw=4:ts=4:sts=4 The swi-prolog Portfile 60682 2009-11-19 22:03:18Z snc PortSystem 1.0 Name: swi-prolog Version: 5.8.0 epoch 20051223 Category: lang Maintainers: uva.nl:J.Wielemaker logtalk.org:pmoura Platform: darwin Description: SWI-Prolog compiler plus extra packages (stable version) Long Description: ISO/Edinburgh-style Prolog compiler including modules, autoload, libraries, Garbage-collector, stack-expandor, C/C++-interface, Multiple threads, GNU-readline interface, coroutining, constraint programming, global variables, very fast compiler. Including packages clib (Unix process control, sockets, MIME), cpp (C++ interface), sgml (reading XML/SGML), sgml/RDF (reading RDF into triples), ODBC interface and XPCE (Graphics UI toolkit, integrated editor (Emacs-clone) and graphical debugger). Homepage: https://www.swi-prolog.org/ Master Sites: https://www.swi-prolog.org/download/stable/src Checksums: md5 e3e81ac564f5ba6c088c7fd38dec6fc2 sha1 76f52f6b79226985d09e2f5a42014477971f17f4 rmd160 b9128bee3957d3c75ae41f9898b5ba250b021e29 depends_build port:gawk port:junit depends_lib port:readline port:ncurses port:jpeg port:libmcrypt port:gmp port:zlib port:xorg-libs use_parallel_build no platform darwin 9 { depends_lib-append port:expat } distname pl-${version} configure.env LIBRARY_PATH=/usr/lib:${prefix}/lib CPATH=/usr/include:${prefix}/include JUNIT=${prefix}/share/java/junit.jar configure.ldflags configure.args --mandir=${prefix}/share/man --x-includes=${prefix}/include --x-libraries=${prefix}/lib --with-world build.env LIBRARY_PATH=/usr/lib:${prefix}/lib CPATH=/usr/include:${prefix}/include JUNIT=${prefix}/share/java/junit.jar CC=${configure.cc} post-build { file mkdir ${workpath}/macosx file copy -force -- ${workpath}/pl-${version}/man/macosx/License.html ${workpath}/macosx/ file copy -force -- ${workpath}/pl-${version}/man/macosx/macosx.html ${workpath}/macosx/ file copy -force -- ${workpath}/pl-${version}/man/macosx/Welcome.html ${workpath}/macosx/ } post-pkg { set resources ${workpath}/${name}-${version}.pkg/Contents/Resources/ file copy -force -- ${workpath}/macosx/License.html ${resources} file copy -force -- ${workpath}/macosx/macosx.html ${resources} file copy -force -- ${workpath}/macosx/Welcome.html ${resources} file rename ${resources}/macosx.html ${resources}/ReadMe.html file delete -force -- ${resources}/Welcome.rtf } post-mpkg { set resources ${workpath}/${name}-${version}.mpkg/Contents/Resources/ file copy -force -- ${workpath}/macosx/License.html ${resources} file copy -force -- ${workpath}/macosx/macosx.html ${resources} file copy -force -- ${workpath}/macosx/Welcome.html ${resources} file rename ${resources}/macosx.html ${resources}/ReadMe.html file delete -force -- ${resources}/Welcome.rtf } if {![variant_isset st]} { default_variants +mt } Variant: st conflicts mt description {Single-threaded} { configure.args-append --disable-mt } Variant: mt conflicts st description {Multi-threaded} { configure.args-append --enable-mt } livecheck.type regexm livecheck.url ${homepage}dl-stable.html livecheck.regex "Gzipped tar file holding the sources for version (\\d+\\.\\d+\\.\\d+)" If you haven't already installed Darwin Ports, you can find easy instructions for doing so at the main Darwin Ports page. Once Darwin Ports has been installed, in a terminal window and while online, type the following and hit return:
% cd /opt/local/bin/portslocation/dports/swi-prologYou will then be prompted for your root password, which you should enter. You may have to wait for a few minutes while the software is retrieved from the network and installed for you. Y ou should see something that looks similar to: - Make sure that you do not close the terminal window while Darwin Ports is working. Once the software has been installed, you can find further information about using swi-prolog with these commands: % man swi-prolog Where to find more information:
This website is back-ended by DB5, the best database in the business,
|
![]() |
![]()
Order Snow Leopard MacOSX 10.6 for only $29!
Other Helpful SitesMacOSForgeDebian Packages MacPorts - SVN Freshports - FreeBSD Fink Package List RPM for MacOSX Port Categories
accounting
amusements aqua archivers audio benchmarks biology blinkenlights cad chat chinese comms compression cross crypto databases devel editors education electronics emacs emulators erlang finance fonts framework fuse games genealogy gis gnome gnustep graphics gtk haskell iphone irc japanese java kde kde4 lang macports math mercurial ml mono multimedia net network news ocaml office palm parallel perl php pim project python reporting rox ruby russian scheme science security shells spelling squeak sysutils tcl tex textproc tk unicode vnc win32 wsn www x11 x11-font x11-wm xfce zope
Current SVN DownloadsDarwin Ports Current :nightly SVN snapshot SSH Key Gen See also: GNU-Darwin Ports for GNU-only software |
|||||||
| |




