Logtalk documentation

Documentation

Get a taste of Logtalk with plenty of programming examples (described here).

Browse through the XHTML versions of the User and Reference Manuals.
Alternatively, download the PDF versions of the User and Reference Manuals.

Consult the library documentation (automatically generated).
Consult the user contributions documentation (automatically generated).
Check the release notes for the latest goodies.

Consult the Logtalk roadmap and check for open bug and enhancement tickets.
Read the known problems, bugs, and limitations list (outdated).
Consult the FAQ.

Check the results of some benchmark tests with some Prolog compilers.

Read the user license for the fine print (OSI-approved).

Publications

Knowledge Representation Using Logtalk Parametric Objects. Paulo Moura. Proceedings of the International Conference on Applications of Declarative Programming and Knowledge Management (INAP), University of Évora, Portugal, November 2009, pp 225-240.
From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse (Invited Talk). Paulo Moura. Proceedings of the 25th International Conference on Logic Programming (ICLP), July 2009. LNCS 5649. Springer-Verlag Berlin Heidelberg". (slides)
Secure Implementation of Meta-predicates. Paulo Moura. Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages (PADL), January 2009. LNCS 5418. Springer-Verlag Berlin Heidelberg.
High Level Thread-Based Competitive Or-Parallelism in Logtalk. Paulo Moura, Ricardo Rocha, and Sara C. Madeira. Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages (PADL), January 2009. LNCS 5418. Springer-Verlag Berlin Heidelberg.
Thread-Based Competitive Or-Parallelism. Paulo Moura, Ricardo Rocha, and Sara C. Madeira. Proceedings of the 24th International Conference on Logic Programming (ICLP), December 2008. LNCS 5366. Springer-Verlag Berlin Heidelberg.
High-Level Multi-threading Programming in Logtalk. Paulo Moura, Paul Crocker, and Paulo Nunes. Proceedings of the 10th International Symposium on Practical Aspects of Declarative Languages (PADL), January 2008. LNCS 4902. Springer-Verlag Berlin Heidelberg.
Logtalk Processing of STEP Part 21 Files. Paulo Moura and Vincent Marchetti. Proceedings of the 22nd International Conference on Logic Programming (ICLP), August 2006. LNCS 4079. Springer-Verlag Berlin Heidelberg.

Download a PhD thesis on Logtalk design and implementation (PDF, A4 paper). Thesis submitted on May 2003, and publicly defended on September 2003 (Supervisor: Prof. Abel Gomes; Discussants: Prof. Mário Martins (University of Minho, Portugal), Prof. Salvador Abreu (University of Évora, Portugal), Prof. Vitor Costa (University of Porto, Portugal), Prof. Ana Moreira (New University of Lisbon, Portugal)).

Download an unpublished paper on Logtalk categories (submitted to both OOPSLA 2000 and ECOOP 2001). Categories are also described in the Logtalk technical report and PhD thesis. Categories are implemented in Logtalk since is first public release in 1998.

Download a Technical Report on Logtalk 2.6, published on July, 2000: PDF A4 paper, PDF US Letter paper.

Opinion articles

Uniting the Prolog Community: Personal Notes. Paulo Moura, Association for Logic Programming (ALP) Newsletter, Vol. 22/1, March 2009.
Prolog Portability and Standardization. Paulo Moura, Association for Logic Programming (ALP) Newsletter, Vol. 18/3, August 2005.
Logtalk 2.18.0. Paulo Moura, Association for Logic Programming (ALP) Newsletter, Vol. 17/3, August 2004.
Some notes on porting a Prolog program to 22 Prolog compilers or the relevance of the ISO Prolog standard. Paulo Moura, Association for Logic Programming (ALP) Newsletter, Vol. 12/2, May 1999.

Third-party publications on applications using Logtalk

Supporting Collaborative Work Through Flexible Process Execution. Stefan Jablonski, Michael Igler, and Christoph Gunther. Proceedings of the 5th International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom 2009), November 2009. IEEE.
Gorgias-C: Extending Argumentation with Constraint Solving. Victor Noël and Antonis C. Kakas. Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning, September, 2009. LNCS 5753. Springer-Verlag Berlin Heidelberg.
Design dependencies within the automatic generation of hypermedia presentations. Oscar Rosell Martinez. Master's Thesis, Technical University of Catalonia, June 30, 2002. CWI technical report INS-R0205.
(more to come)