Documentation
- Check the results of some benchmark tests with some Prolog compilers.
- 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.
- 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.