Latest stable version: 3.25.0
Release date: April 2, 2019
Logtalk runs on any operating-system with a standards compliant modern Prolog compiler. The interface between Logtalk and a specific backend Prolog compiler is accomplished using a small adapter file. The Logtalk distribution includes adapter files for all supported Prolog compilers:
- B-Prolog 7.8 or later versions
- CxProlog 0.98.1 or later versions
- ECLiPSe 6.1#143 or later versions
- GNU Prolog 1.4.5 or later versions
- JIProlog 22.214.171.124 or later versions
- Lean Prolog 4.5.7 or later versions (experimental)
- Qu-Prolog 9.7 or later versions
- Quintus Prolog 3.3~3.5 (experimental)
- SICStus Prolog 4.1.0 or later versions
- SWI Prolog 6.6.0 or later versions
- XSB 3.8.0 or later versions
- YAP 6.3.4 or later versions
Legacy Logtalk versions (2.x) provide support for several other Prolog compilers, which are no longer supported due to lack of compliance with official and de facto standards.
Be sure to install the Prolog systems that you want to use as backend compilers before installing Logtalk. In general, it is recommended that you install the most recent versions of the Prolog systems.
Logtalk is an open source programming language, distributed under the Apache License 2.0. The copyright notice and license applies to all files in this release (including sources, documentation, and examples) unless otherwise explicitly stated.
You may keep up to date on development changes by subscribing to the Logtalk commits RSS feed.
Includes the HTML versions of the Handbook and the APIs documentation.
Be sure to read the
files on the Logtalk user directory for important information, including
instructions on how to customize and run Logtalk. For Windows users,
this information is also available from the
Logtalk program group in
The following installers are available for the latest version:
Based on the MacPorts portfile. Installs
/opt/local/share/ with integration scripts for supported
Prolog compilers on
/opt/local/bin. Creates an
folder with links to the installed files.
A MacPorts portfile is also available. Users
may simply type the command
sudo port install logtalk (or
sudo port upgrade logtalk) in order to install (or upgrade) Logtalk.
Homebrew users may simply type the
brew install logtalk (or
brew upgrade logtalk) in order to
install (or upgrade) Logtalk. But do check first that the MacPorts
portfile and the Homebrew formula are up-to-date.
Installs Logtalk on
/usr/local/share with integration scripts for
supported Prolog compilers on
/usr/local/bin. Package installation from
the command-line is recommended.
Debian (e.g. Ubuntu)
Requires dpkg 1.15.0 or a later version. Installs Logtalk on
/usr/share with integration scripts for supported Prolog compilers on
/usr/bin. Package installation from the command-line is recommended.
Be sure to install a compatible Prolog compiler
before running the Logtalk installer. Creates a
group in the
Start Menu with integration shortcuts for supported
Prolog compilers and shortcuts for the accessing the Logtalk
documentation. Can be used by both admin and non-admin users.
Logtalk is also available as a SWI-Prolog pack. The
pack is handy for
deployment but not ideal for development, however, as the all the
files in the distribution are buried in a relatively deep sub-directory.
The pack can be easily installed typing the query
at the top-level. Also available as a manual download.
Arch Linux package
Logtalk is also available as an Arch Linux package contributed by Ebrahim Azarisooreh.
HTML, ePub, and PDF versions of the Handbook (includes a tutorial, the User Manual, the Reference Manual, and the FAQ). Note that the HTML version is included in the source and binary packages.
Nightly and stable Docker images are available using selected backend Prolog compilers.
Older releases are available here (but note that time stamps do not match the release dates due to all the moving of these files between servers along the years).
Consider registering if you become a Logtalk user.