SWI-Prolog stable
PPA description
Comprehensive Prolog implementation with extensive libraries and development tools. Primarily targetted at teaching, RDF processing and web-related tasks, such as creating web services or analysing web content.
Official PPAs for SWI-Prolog. See https:/
Adding this PPA to your system
You can update your system with unsupported packages from this untrusted PPA by adding ppa:swi-prolog/stable to your system's Software Sources. (Read about installing)
sudo add-apt-repository ppa:swi-prolog/stable
sudo apt update
For questions and bugs with software in this PPA please contact SWI Prolog.
PPA statistics
- Activity
- 0 updates added during the past month.
View package details
Overview of published packages
| 1 → 18 of 18 results | First • Previous • Next • Last |
| Package | Version | Uploaded by |
|---|---|---|
|
|
9.0.4-3-g333f86c3d-kineticppa2 | Jan Wielemaker () |
|
|
9.0.4-2-g8c6867e6f-jammyppa2 | Jan Wielemaker () |
|
|
9.0.4-1-g99fa726d0-focalppa2 | Jan Wielemaker () |
|
|
9.0.4-0-bionicppa2 | Jan Wielemaker () |
|
|
8.4.1-3-g822f6bcf5-hirsuteppa2 | Jan Wielemaker () |
|
|
8.4.1-0-xenialppa2 | Jan Wielemaker () |
|
|
8.2.4-3-g79ed689b0-groovyppa2 | Jan Wielemaker () |
|
|
8.2.1-2-ga0352263d-eoanppa2 | Jan Wielemaker () |
|
|
8.0.3-3-g3265f854d-discoppa2 | Jan Wielemaker () |
|
|
8.0.3-2-g21998c7bb-cosmicppa2 | Jan Wielemaker () |
|
|
7.6.4-5-g0d9c3286b-artfulppa2 | Jan Wielemaker () |
|
|
7.6.4-4-g3daeed1b0-zestyppa2 | Jan Wielemaker () |
|
|
7.6.4-2-g0253c863f-trustyppa2 | Jan Wielemaker () |
|
|
7.4.2-2-g91d7c82-yakketyppa2 | Jan Wielemaker () |
|
|
7.2.3-2-g05ab183-preciseppa2 | Jan Wielemaker () |
|
|
7.2.3-1-g5dbb92e-vividppa2 | Jan Wielemaker () |
|
|
6.6.6-1-gd4ab62c-saucyppa2 | Jan Wielemaker () |
|
|
6.6.1-1-g25db0c5-raringppa2 | Jan Wielemaker () |
| 1 → 18 of 18 results | First • Previous • Next • Last |
