[ ⊨ ] Logtalk

Download

Latest stable version: 3.40.0
Release date: July 29, 2020

Sponsor Star

Requirements

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:

Legacy Logtalk versions 2.x and old Logtalk 3.x versions provide support for several other Prolog compilers, which are no longer supported due to lack of compliance with official and de facto standards and unfixed bugs.

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.

License

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 (see the NOTICE.txt file for details on bundled third-party resources).

Git repo

The Logtalk git repo is currently hosted at GitHub. Follow these steps for running Logtalk development versions. See the release notes for the latest changes.

You may keep up to date on development changes by subscribing to the Logtalk commits RSS feed.

Sources

logtalk-3.40.0.tar.bz2
69593fda9945a695a4783061baacf248a667fd0b5af32c5aa3afbc9e4b203200 (SHA-256)

Includes the HTML versions of the Handbook and the APIs documentation. The bundled INSTALL.md file contains manual installation instructions.

Installers

Be sure to read the README.md, CUSTOMIZE.md, and QUICK_START.md 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 Start Menu.

The following installers are available for the latest stable version:

macOS

Based on the MacPorts portfile. Installs Logtalk on /opt/local/share/ with integration scripts for supported Prolog compilers on /opt/local/bin. Creates an /Applications/Logtalk folder with links to the installed files.

logtalk-3.40.0.pkg.zip
1f432c96003fedbde39aa3c57a1e527459a85e149f83cdd9856d76f5a1f2d143 (SHA-256)

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 command 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.

Linux

Installs Logtalk on /usr/local/share with integration scripts for supported Prolog compilers on /usr/local/bin.

logtalk-3.40.0-1.noarch.rpm
7d6fd4ba29b96d63b32e9a14d21809e2319bfad528d047315641fcbda7f479b8 (SHA-256)

Package installation from the command-line is highly recommended:

$ sudo rpm -i logtalk-3.40.0-1.noarch.rpm

Logout and login after running the installer to activate the default values for the Logtalk environment variables.

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.

logtalk_3.40.0-1_all.deb
3c8fd1e30973bb12819c1f6ee64691801c7b533172095c7c94f92468ae587229 (SHA-256)

Package installation from the command-line is highly recommended:

$ sudo dpkg -i logtalk_3.40.0-1_all.deb

Logout and login after running the installer to activate the default values for the Logtalk environment variables.

Windows

Be sure to install a compatible Prolog compiler before running the Logtalk installer. Creates a Logtalk program 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-3.40.0.exe
ca48ae98fa121fced6f07d5741e298eb3beb99320c9c9ab1aa3e3544c5d5388f (SHA-256)
VirusTotal scan results

Logtalk is also available as a Chocolatey package and can be installed or updated using the choco install logtalk and choco upgrade logtalk commands. Alternatively, on Windows 10 or Windows Server 2019, you can use the Windows Subsystem for Linux (WSL) and install Logtalk using one of the Linux installers listed in this page.

Installing on Windows 10 requires temporarily turning off Ransomware protection (in the Windows Defender Security Center preferences) if enabled as the Logtalk installer creates the the Logtalk user directory inside the Documents directory by default.

Automatically generated installers for the latest git versions can be download from AppVeyor.

SWI-Prolog packs

Logtalk is also available as a SWI-Prolog pack. The pack is handy for deployment but not ideal for development, however, as all the files in the distribution (manuals, examples, …) are buried in a relatively deep sub-directory. The pack can be easily installed typing the query pack_install(logtalk) at the top-level (use the pack_info(logtalk) query after installation to find the installation directory). When upgrading an older pack, use pack_install(logtalk, [update(true)]) or simply pack_remove(logtalk) followed by pack_install(logtalk). See the pack specific README.md file for details. Also available as a manual download:

logtalk-3.40.0.tgz
7f7a5dd8aa69d76c5a12dd19290ae3bffbb90eefa2a207e74b5b4069909eeefb (SHA-256)

In this case, change directory to the download directory, start SWI-Prolog, and run the query pack_install('logtalk-3.40.0.tgz').

There’s also an experimental pack that encapsulates de Logtalk compiler and runtime in a logtalk module. See the pack specific README.md file for details. This pack is only available as a manual download:

logtalk-experimental-3.40.0.tgz
b7a5c004524335b26338e7e522bd550536a8dcb381dd8c0c9e39f217fbc7b1bf (SHA-256)

In this case, change directory to the download directory, start SWI-Prolog, and run the query pack_install('logtalk-experimental-3.40.0.tgz').

Arch Linux package

Logtalk is also available as an Arch Linux package contributed by Ebrahim Azarisooreh.

Documentation

HTML, ePub, PDF, and Texinfo 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.

logtalk-manuals-3.40.0.tgz
cc330b2213f8a4a009d1d12a4a5d58cac6945aa8eb58d7c06d4112d6b4551531 (SHA-256)

Docker images

Nightly and stable Docker images are available using selected backend Prolog compilers.

Older versions

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).

Sponsorship

If you want to express you appreciation for Logtalk and help keep it a sustainable project, your sponsorship is much appreciated. Sponsorship monthly tiers start at a symbolic $2 per month to hopefully allow everyone to show their love and support for Logtalk.

Registration

Consider registering if you become a Logtalk user.

Search