About us

We provide commercial services for declarative solutions using the Logtalk and Prolog programming languages.

Prolog is a general purpose  logic programming language supported nowadays by several modern and efficient implementations by both open source developers and commercial vendors.

Logtalk is an open source object-oriented logic programming language  that extends and leverages the Prolog language with a feature set suitable for programming in the large. Logtalk supports modern code encapsulation and code reuse mechanisms without compromising the declarative programming features of Prolog. Logtalk is implemented in highly portable code and can use most modern and standards compliant Prolog implementations as a back-end compiler.

Logtalk and Prolog applications can be developed and delivered in final form using a diversity of (back-end) compilers and formats, including executable files for distribution to third-parties and JAR files for mobile apps or integration with companies IT systems.

Logtalk is distributed under the Apache License 2.0. Prolog licensing terms depends on the chosen implementation but Logtalk supports most modern open source and commercial systems.