|
|
|
Date Posted: |
July 2nd, 2001
|
|
|
Last Updated: |
April 15th, 2002
|
|
|
License: |
GPL |
|
|
Downloads: |
1,578 total; 237 recently |
|
|
Page Views: |
16,252 total |
|
|
User Rating: |
awaiting 10 votes |
 |
|
Jump to the Downloads section |
|
 |
|
About SWI-Prolog:
This is the BeOS port of Jan Wielemaker's SWI-Prolog, a Prolog compiler, targeting primarily at research and education. It covers Edinburgh Prolog, and large parts of The ISO standard.
According to the web site, its strongest points are:
- Licenced under the GPL. Licencing for embedding in
proprietary software are available.
- Very fast compilation.
- Robust.
- Small. Installed development compiler requires about 2 MB of
your hard disk. For embedding, the SWI-Prolog kernel is about
450 KBytes. Can be in a shared object (.so, .DLL).
- Scales well for large applications. Hash-tables are automatically
rehashed.
- Comprehensive set of built-in predicates, covering Edinburgh
Prolog, and large parts of The ISO standard, Quintus
and SICStus Prolog.
- Flexible and fast interface to the C- and
C++-Language. The interface allows for calling both-ways,
handling of non-determinism both ways and embedding of the
SWI-Prolog kernel in C/C++ projects. High-level C++ interface
available as a package.
- The goodies: modules (upward compatible to Quintus and
SICStus), garbage-collection (transparent to C/C++-code,
also atom garbage collection),
last-call optimisation, Dynamic expansion of the runtime
stacks, ISO exception-handling (including C/C++ interface for
catching and throwing exceptions).
- Execution profiling (time and call statistics) (Unix only).
- Portable to many platforms, including almost all Unix
platforms, Win32 (Windows-95, 98 and NT) and some more obscure
ports. Both 32-bits and 64-bits machines are supported.
- Machine-independent saved-states (save on one platform, run using
the virtual machine of another platform).
- Multi-threading support (experimental, based on POSIX threads).
- Distributed in source and binary on some platforms.
You can easily recompile it for a different environment. Sources
are plain ANSI-C, configured automatically using GNU
autoconf.
|
|
|
 |
Latest Version |
 |
|
|
| |
|
|
Details about this version:
The download package for SWI-Prolog 5.0.4 does not yet contain the changes, and don't compile on the BeOS - the subsequent releases will, and the version on CVS does already.
- Updated the port to the latest version available
- The foreign interface to include shared libraries is now working
- Note: the tools that come with SWI-Prolog haven't been ported - some of them may work, but anything that uses XPCE does not.
Note: Apparently, the latest SWI-Prolog version does not compile under BeOS anymore. Until I find the time to update the port, I've made available a binary package of version 5.0.4.
|
| |
|
|
Any Processor - requires R5 (6 MB) |
913 downloads |
|
|
|
|
|
| |
  |
[rating: 10] |
|
|
Download the source package (there is also a "lite" version with |
|
|
| Add Additional Location |
|
| |
|
|
Intel Version - requires R5 (380 KB) |
283 downloads |
|
|
|
|
|
| |
|
[rating: 10] |
|
|
Version 5.0.4 precompiled |
|
|
| Add Additional Location |
|
|
|
|
| Source Included |
|
 |
|
 |
|
| |
|
|
Like this app? Have questions or comments?
Why not tell the author? Use the "e-mail publisher" link to get in touch with the publisher; they usually love getting feedback.
|
|
|
|
|
|
|
 |
|
|
|
|
|
|
|
|
 |
| |
Recent Downloads - # 541
Total Downloads - # 1,604
Total Views - # 886
User Ratings - N/A
|
|
|
|
 |
| |
Dev. Languages
|
|
|
|
 |
|
1. BePodder - 9.80
2. QEMU - 9.68
3. ScummVM - 9.57
4. cpu_fix - 9.42
5. Jukebox - 9.40
6. libdl.so - 9.40
7. Haiku AGP busm... - 9.35
8. vim6 - 9.31
9. Beezer - 9.26
10. HandBrake - 9.25
|
|
|
|
 |
|
1. BeOS 5 Perso... - 13,525
2. Realtek RTL8... - 13,068
3. Ati Radeon G... - 12,496
4. Ensoniq Audio... - 7,529
5. ATI Rage 128... - 7,425
6. USB Joystick... - 5,625
7. Broadcom 440x... - 5,393
8. USB Serial dr... - 4,699
9. S3 Trio 64 v2... - 4,691
10. Intel Extreme... - 4,456
|
|
|
|
 |
| You are not logged in.
Login
|
|
|
|
 |
|
