logtalk

Object-oriented logic programming language

Logtalk is a declarative object-oriented logic programming language that extends and leverages the Prolog language with a feature set suitable for programming in the large. As a multi-paradigm language, Logtalk includes support for both prototypes and classes, protocols (interfaces), categories (components and hot-patching), event-driven programming, coinduction, lambda expressions, and high-level multi-threading programming.

Versions: 3.80.0
Website: https://logtalk.org/
Licenses: Artistic License 2.0 · ASL 2.0 · CC0 · Expat · FreeBSD · GPL 2+ · Modified BSD · The Open Software License 2.1
Package source: gnu/packages/prolog.scm
Builds: See build status
Issues: See known issues

Installation

Install the latest version of logtalk as follows:

guix install logtalk

Or install a particular version:

guix install logtalk@3.80.0

You can also install packages in augmented, pure or containerized environments for development or simply to try them out without polluting your user profile. See the guix shell documentation for more information.

Badge code

HTML: <a href='http://127.0.0.1:3000/packages/logtalk/'><img src='http://127.0.0.1:3000/packages/logtalk/badges/latest-version.svg'></img></a>
Markdown: [![GNU Guix](http://127.0.0.1:3000/packages/logtalk/badges/latest-version.svg)](http://127.0.0.1:3000/packages/logtalk/)
Org: [[http://127.0.0.1:3000/packages/logtalk/][http://127.0.0.1:3000/packages/logtalk/badges/latest-version.svg]]