{"id":43,"date":"2018-07-26T13:26:19","date_gmt":"2018-07-26T13:26:19","guid":{"rendered":"http:\/\/dectau.uclm.es\/bousi-prolog\/?p=43"},"modified":"2026-09-29T17:55:40","modified_gmt":"2026-09-29T17:55:40","slug":"downloads","status":"publish","type":"post","link":"https:\/\/dectau.uclm.es\/bousi-prolog\/2018\/07\/26\/downloads\/","title":{"rendered":"DOWNLOADS"},"content":{"rendered":"

This post provides manuals and information about the BPL system as well as\u00a0a history with the different versions of the BPL system that can be downloaded.<\/h1>\n

Bousi~Prolog: Design and Implementation<\/span><\/h1>\n
\n
\n
\n

Information about the design and implementation of the BPL system\u00a0can be find at the following address:<\/p>\n

.https:\/\/dectau.uclm.es\/bousi-prolog\/wp-content\/uploads\/sites\/sl_PROLE2023.pdf<\/a><\/p>\n

There are the slides from a presentation at the PROLE 2023 workshop.<\/p>\n<\/div>\n<\/div>\n<\/div>\n

Bousi~Prolog Manual<\/span><\/h1>\n
\n
\n
\n

The current version of the Bousi\u223cProlog manual is under construction.<\/p>\n

At the present time we provide the manual of BPL version 2.0 by clicking:<\/p>\n

\n
\n
\n

Bousi\u223cProlog ver. 2.0: Implementation, User Manual and Applications<\/a><\/p>\n

As the title of the document specifies, it is more than a simple user manual, since it gives insights on the theory supporting this system and the techniques we used to implement it. However it does not contain the last\u00a0enhancements incorporated during the last years. See the “Language Overview” \u00a0and the “Release Notes”\u00a0posts to know\u00a0these new features.<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n

Program Examples<\/span><\/h1>\n
\n
\n
\n

Bousi\u223cProlog may contribute to resolve several problems extracted from different application areas, where it is mandatory to deal with vagueness and uncertain knowledge. The following link contains a set of program examples:<\/p>\n

A collection of sample programs<\/a><\/p>\n

Most of them\u00a0were described in a paper<\/a> presented at the 2010 International Conference on Fuzzy Computation.<\/p>\n

\n
\n
\n
\n

BPL version\u00a04.0.1<\/span><\/h1>\n

This version\u00a0only fixes a bug about the declaration of the hypothetical operator \/\\, which prevented the assumption of more than two rules for a single context.<\/p>\n

\n

Installers:<\/span> They contain the source files and the scripts necessary for their compilation and installation automatically.<\/p>\n

bpl-4.0.1-unix-installer<\/a>
\nbpl-4.0.1-win32-installer<\/a>
\nbpl-4.0.1-win64-installer<\/a><\/p>\n<\/div>\n

BPL version\u00a04.0<\/span><\/h1>\n

This version opens the door to the hypothetical reasoning turn in Bousi~Prolog.\u00a0It constitutes a complete overhaul of the system, including everything related to higher-order features and negation.<\/p>\n

\n

Installers:<\/span> They contain the source files and the scripts necessary for their compilation and installation automatically.<\/p>\n

bpl-4.0-unix-installer<\/a>
\nbpl-4.0-win32-installer<\/a>
\nbpl-4.0-win64-installer<\/a><\/p>\n<\/div>\n

BPL version 3.6.1<\/span><\/h1>\n

Compared\u00a0to the former version 3.6, the present version 3.6.1 adds,\u00a0as an important\u00a0\u00a0enhancement, a\u00a064 bit BPL installer released for Windows (tested on Windows 10) and fixes two minor bugs related to the use of the ~~ infix operator.<\/p>\n

\n

Executables:<\/span>\u00a0They only contain executable files. They do not require installing SWI-Prolog.
\nbpl-3.6.1-highsierra-executable<\/a>
\nbpl-3.6.1-mojave-executable<\/a>
\nbpl-3.6.1-ubuntu32-executable<\/a>
\nbpl-3.6.1-ubuntu64-executable<\/a>
\nbpl-3.6.1-win32-executable<\/a>
\nbpl-3.6.1-win64-executable<\/a><\/p>\n<\/div>\n

Installers:<\/span> They contain the source files and the scripts necessary for their compilation and installation automatically.
\nbpl-3.6.1-unix-installer<\/a>
\nbpl-3.6.1-win32-installer<\/a>
\nbpl-3.6.1-win64-installer<\/a><\/p>\n

BPL version 3.6<\/span><\/p>\n

The main contribution of this version is the incorporation of novel implementation techniques for improving the efficiency of the BPL system. BPL version 3.6 can be downloaded by clicking these links:<\/p>\n

Executables:<\/span>\u00a0They only contain executable\u00a0files. They\u00a0do not require installing SWI-Prolog.
\nbpl-3.6-mojave-executable<\/a>
\nbpl-3.6-ubuntu32-executable<\/a>
\nbpl-3.6-ubuntu64-executable<\/a>
\nbpl-3.6-win32-executable<\/a>
\nbpl-3.6-win64-executable<\/a><\/p>\n<\/div>\n

Installers:<\/span> They contain the source files and the scripts necessary for their compilation and installation automatically.
\nbpl-3.6-unix-installer<\/a>
\nbpl-3.6-win32-installer<\/a><\/p>\n

BPL version 3.5.1<\/span><\/h1>\n

With respect to former version 3.5, the present version 3.5.1 adds\u00a0a minimal but important enhancement: checking for cycles in WordNet hierarchies to avoid non-termination. BPL version 3.5.1 can be downloaded by clicking these links:<\/p>\n

Executables:<\/span>\u00a0They only contain executable\u00a0files. They\u00a0do not require installing SWI-Prolog.
\nbpl-3.5.1-highsierra-executable<\/a>
\nbpl-3.5.1-ubuntu32-executable<\/a>
\nbpl-3.5.1-ubuntu64-executable<\/a>
\nbpl-3.5.1-win32-executable<\/a><\/p>\n<\/div>\n

Installers:<\/span> They contain the source files and the scripts necessary for their compilation and installation automatically.
\nbpl-3.5.1-unix-installer<\/a>
\nbpl-3.5.1-win32-installer<\/a><\/p>\n<\/div>\n<\/div>\n

\n

BPL version 3.5<\/span><\/h1>\n

The main enhancements of this new version 3.5 are that it allows annotated rules and eliminates a number of bugs. Rules can be annotated with an approximation degree following syntax: Head :- Body with Degree<\/strong>. \u00a0BPL version 3.5 can be downloaded by clicking these links:<\/p>\n

Executables:<\/span>\u00a0They only contain executable\u00a0files. They\u00a0do not require installing SWI-Prolog.
\nbpl-3.5-highsierra-executable<\/a>
\nbpl-3.5-ubuntu32-executable<\/a>
\nbpl-3.5-ubuntu64-executable<\/a>
\nbpl-3.5-win32-executable<\/a><\/p>\n<\/div>\n

Installers:<\/span> They contain the source files and the scripts necessary for their compilation and installation automatically.
\nbpl-3.5-unix-installer<\/a>
\nbpl-3.5-win32-installer<\/a><\/p>\n

 <\/p>\n

\n
\n

BPL version 3.4<\/span><\/h1>\n

This new version 3.4 provides a better compilation method which optimizes TPL code. It also incorporates an explicit weak unification operator ~~, which can be used in goals and the body of rules. BPL version 3.4 can be downloaded by clicking these links:<\/p>\n

Executables:<\/span>\u00a0They only contain executable\u00a0files. They\u00a0do not require installing SWI-Prolog.
\nbpl-3.4-highsierra-executable<\/a>
\nbpl-3.4-ubuntu32-executable<\/a>
\nbpl-3.4-ubuntu64-executable<\/a>
\nbpl-3.4-win32-executable<\/a><\/p>\n<\/div>\n

Installers:<\/span> They contain the source files and the scripts necessary for their compilation and installation automatically.
\nbpl-3.4-unix-installer<\/a>
\nbpl-3.4-win32-installer<\/a><\/p>\n<\/div>\n

BPL version 3.3<\/span><\/h1>\n

With respect to former version 3.2, this new version\u00a0incorporates improvements in the operational mechanism and full access to WordNet through a wide repertoire of built-in predicates. Now all public predicates of the WN-CONNECT modules are accesible through the \u00a0command line of the\u00a0BPL shell. BPL version 3.3 can be downloaded by clicking these links:<\/p>\n

Executables:<\/span> They only contain executable\u00a0files. They\u00a0do not require installing SWI-Prolog.
\nbpl-3.3-highsierra-executable<\/a>
\nbpl-3.3-ubuntu32-executable<\/a>
\nbpl-3.3-ubuntu64-executable<\/a>
\nbpl-3.3-win32-executable<\/a><\/p>\n<\/div>\n

Installers:<\/span> They contain the source files and the scripts necessary for their compilation and installation automatically.
\nbpl-3.3-unix-installer<\/a>
\nbpl-3.3-win32-installer<\/a><\/p>\n

 <\/p>\n

\n

BPL version 3.2<\/span><\/h1>\n

With respect to former version 3.1.1, the current version 3.2 introduces\u00a0filtering\u00a0for compiled program optimization and modifiers on predicate symbols. BPL version 3.2 can be downloaded by clicking these links:<\/p>\n

Executables:<\/span> They only contain executable\u00a0files. They\u00a0do not require installing SWI-Prolog.
\nbpl-3.2-highsierra-executable<\/a>
\nbpl-3.2-ubuntu32-executable<\/a>
\nbpl-3.2-ubuntu64-executable<\/a>
\nbpl-3.2-win32-executable<\/a><\/p>\n

Installers:<\/span> They contain the source files and the scripts necessary for their compilation and installation automatically.
\nbpl-3.2-unix-installer<\/a>
\nbpl-3.2-win32-installer<\/a><\/p>\n<\/div>\n

BPL version 3.1.1<\/span><\/h1>\n

With respect to former version 3.1, the present version 3.1.1 fixes a bug for the external computation of block equations\u00a0. In addition it provides a\u00a0host safe mode for web deployment. BPL version 3.1.1 can be downloaded by clicking these links:<\/p>\n

Executables:<\/span> They only contain executable\u00a0files. They\u00a0do not require installing SWI-Prolog.
\nbpl-3.1.1-highsierra-executable<\/a>
\nbpl-3.1.1-ubuntu32-executable<\/a>
\nbpl-3.1.1-ubuntu64-executable<\/a>
\nbpl-3.1.1-win32-executable<\/a><\/p>\n

Installers:<\/span> They contain the source files and the scripts necessary for their compilation and installation automatically.
\nbpl-3.1.1-unix-installer<\/a>
\nbpl-3.1.1-win32-installer<\/a><\/p>\n

BPL version 3.1<\/span><\/h1>\n

This release integrates Bousi~Prolog with WordNet. It provides directives that allow us to generate proximity equations automatically by using some standard similarity measures based on WordNet. BPL version 3.1 can be downloaded by clicking these links:<\/p>\n

Executables:<\/span> They only contain executable\u00a0files. They\u00a0do not require installing SWI-Prolog.
\nbpl-3.1-highsierra-executable.zip<\/a>
\nbpl-3.1-ubuntu64-executable.zip<\/a>
\nbpl-3.1-ubuntu32-executable.zip<\/a>
\nbpl-3.1-win32-executable.zip<\/a><\/p>\n

Installers:<\/span> They contain the source files and the scripts necessary for their compilation and installation automatically.
\nbpl-3.1-unix-installer.zip<\/a>\u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 (linux-like and macOS)
\nbpl-3.1-win32-installer.zip<\/a><\/p>\n

BPL version 3.0<\/span><\/h1>\n

This release works with\u00a0unification by proximity. BPL version 3,0\u00a0can be downloaded by clicking these links:<\/p>\n

Executables:<\/span> They only contain executable\u00a0files. They\u00a0do not require installing SWI-Prolog.
\nbpl-3.0-highsierra-executable.zip<\/a>
\nbpl-3.0-ubuntu32-executable.zip<\/a>
\nbpl-3.0-ubuntu64-executable.zip<\/a>
\nbpl-3.0-win32-executable.zip<\/a><\/p>\n

Installers:<\/span> They contain the source files and the scripts necessary for their compilation and installation automatically.
\nbpl-3.0-unix-installer.zip<\/a>\u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 (linux-like and macOS)
\nbpl-3.0-win32-installer.zip<\/a><\/p>\n

BPL version 2.0<\/span><\/h1>\n

This release incorporates fuzzy sets and a great number of improvements with regards to version 1.07. Also, it has been updated to deal with the new features of\u00a0\u00a0SWI-Prolog ver. 7.6.4.<\/p>\n

BPL version 2,0\u00a0can be downloaded by clicking these links:<\/p>\n

Executables<\/span>: They only contain executable\u00a0files. They\u00a0do not require installing SWI-Prolog.
\nbpl-2.01-highsierra-executable.zip<\/a>
\nbpl-2.01-ubuntu32-executable.zip<\/a>
\nbpl-2.01-ubuntu64-executable.zip<\/a>
\nbpl-2.01-win32-executable.zip<\/a><\/p>\n

Installers:<\/span>\u00a0They contain the source files and the scripts necessary for their compilation and installation automatically.
\nbpl-2.01-unix-installer.zip<\/a>
\nbpl-2.01-win32-installer.zip<\/a><\/p>\n

BPL version 1.07<\/span><\/h1>\n

The BPL system version1.07 was a prototype, written on top of SWI-Prolog. Source code was translated (compiled) into an intermediate Prolog code representation which was called “TPL code” (Translated BPL code). Then, following standard techniques, a meta-interpreter executed the TPL code according to the weak SLD resolution principle.<\/p>\n

This is and old version of the BPL system and\u00a0\u00a0it can not\u00a0deal with the new features of\u00a0\u00a0SWI-Prolog ver. 7.6.4.<\/p>\n

BPL version 1.07 can be downloaded by clicking this link:\u00a0bousi-installer_v1.07.zip<\/a><\/p>\n<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"

This post provides manuals and information about the BPL system as well as\u00a0a history with the different versions of the BPL system that can be downloaded. Bousi~Prolog: Design and Implementation Information about the design and implementation of the BPL system\u00a0can be find at the following address: .https:\/\/dectau.uclm.es\/bousi-prolog\/wp-content\/uploads\/sites\/sl_PROLE2023.pdf There are the slides from a presentation at … <\/p>\n

Continue reading “DOWNLOADS”<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-43","post","type-post","status-publish","format-standard","hentry","category-sin-categoria"],"_links":{"self":[{"href":"https:\/\/dectau.uclm.es\/bousi-prolog\/wp-json\/wp\/v2\/posts\/43","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dectau.uclm.es\/bousi-prolog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/dectau.uclm.es\/bousi-prolog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/dectau.uclm.es\/bousi-prolog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/dectau.uclm.es\/bousi-prolog\/wp-json\/wp\/v2\/comments?post=43"}],"version-history":[{"count":78,"href":"https:\/\/dectau.uclm.es\/bousi-prolog\/wp-json\/wp\/v2\/posts\/43\/revisions"}],"predecessor-version":[{"id":423,"href":"https:\/\/dectau.uclm.es\/bousi-prolog\/wp-json\/wp\/v2\/posts\/43\/revisions\/423"}],"wp:attachment":[{"href":"https:\/\/dectau.uclm.es\/bousi-prolog\/wp-json\/wp\/v2\/media?parent=43"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/dectau.uclm.es\/bousi-prolog\/wp-json\/wp\/v2\/categories?post=43"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/dectau.uclm.es\/bousi-prolog\/wp-json\/wp\/v2\/tags?post=43"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}