Documentation
- Check the results of some benchmark tests with some Prolog compilers.
- Meta-Predicate Semantics. Paulo Moura. Proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR), July 2011.
- L-FLAT: Logtalk Toolkit for Formal Languages and Automata Theory. Paulo Moura and Artur Miguel Dias. Proceedings of the 11th Colloquium on Implementation of Constraint LOgic Programming Systems (CICLOPS), July 2011.
- Programming Patterns for Logtalk Parametric Objects. Paulo Moura. Applications of Declarative Programming and Knowledge Management, Lecture Notes in Artificial Intelligence Vol. 6547, April 2011
- Towards a Study of Meta-Predicate Semantics. Paulo Moura. Proceedings of the 10th Colloquium on Implementation of Constraint LOgic Programming Systems (CICLOPS), July 2010. (slides)
- 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. (slides)
- 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.
- Modeling and Planning Collaboration using Organizational Constraints, Michael Igler, Paulo Moura, Matthias Faerber, Michael Zeising, and Stefan Jablonski, The 6th International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom), October 2010.
- ESProNa: Constraint-Based Declarative Business Process Modeling. Michael Igler, Paulo Moura, Michael Zeising, and Stefan Jablonski. Proceedings of the Third International Workshop on Dynamic and Declarative Business Processes, October 2010.
- A comparison of SL- and unit-resolution search rules for stratified logic programs. Victor Lagerkvist. Bachelor thesis, Linköping University, Department of Computer and Information Science, June 2010.
- A Document Engineering Model and Processing Framework for Multimedia Documents. Joost Geurts. PhD Thesis, Technische Universiteit Eindhoven, February 2010. SIKS Dissertation Series No. 2010-03.
- 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 Thesis, Technical University of Catalonia, June 30, 2002. CWI technical report INS-R0205.
- (more to come)
- Paulo Moura (developer and maintainer)
- Artur Miguel Dias (testing, lambda expression examples)
- Clara Dimene (GeSHi syntax highlighter)
- Daniel L. Dudley (made the ISO 8601 library object available)
- Feliks Kluzniak (coinduction examples and bug reports)
- François Fages (meta-predicate safety bug reports)
- Gopal Gupta (coinduction examples)
- Ivan Bratko (search methods in the state-space searching example)
- Joerg Schuster (bug reports)
- John Fletcher (made XML parser available)
- Joost Geurts (bug reports)
- Markus Triska (help in porting CLP(FD) examples)
- Mats Carlsson (bug reports)
- Michael Covington (DCGs tokenizer example)
- Michael Igler (testing, bug reports)
- Michael Sheets (text editor support)
- Neda Saeedloei (coinduction examples)
- Neng-Fa Zhou (bug reports)
- Nicolas Pelletier (bug reports, text editor support)
- Parker Jones (testing, unit tests, bug reports)
- Paul Crocker (testing, multi-threading and meta-predicates examples, bug reports)
- Paul Fodor (library enhancements)
- Paula Marisa Sampaio (state-space searching examples)
- Paulo Nunes (multi-threading testing)
- rbt (bug reports)
- Rémy Haemmerlé (meta-predicate safety bug reports)
- Robert Shiplett (bug reports)
- Rui Marques (bug reports)
- Timon Van Overveldt (multi-threading optimization and bug reports)
- Theofrastos Mantadelis ("flags" contribution, ProbLog integration support, benchmark tests)
- Ulrich Neumerkel (lambda expression examples and bug reports)
- Victor Lagerkvist (testing, library enhancements, made Verdi Neruda available)
- Victor Noel (bug reports)
- Vítor Santos Costa (red-black tree library)
A special thanks to all the Prolog implementers who fixed bugs and implemented enhancements that greatly helped in improving Logtalk portability and reliability.
This list may be incomplete. Logtalk contributions and feedback occur in multiple forms, from private mail to public forums and paper reviews. Your contributions are greatly appreciated. If your name is missing, please accept our apologies and contact us so we can fix the omission. Contact us also if, for some reason, you don't want your name on this list.