Did you know ... Search Documentation:
Pack logtalk -- logtalk-3.14.0/ACKNOWLEDGMENTS.md

This file is part of Logtalk http://logtalk.org/ Copyright 1998-2018 Paulo Moura <pmoura@logtalk.org>

Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License. You may obtain a copy of the License at


Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License. ________________________________________________________________________


  • Paulo Moura (language designer, developer, and maintainer)


  • Abramo Bagnara (efficient expansion of once/1 goals and bug reports in corner cases when compiling disjunctions)
  • Andreas Becker (PDT support for Logtalk, bug reports)
  • Anne Ogborn (bug reports, usability suggestions)
  • Artur Miguel Dias (testing, lambda expression examples)
  • Artur Wang (Visual Studio Code support for Logtalk)
  • Arun Majumdar (bug reports, usability suggestions)
  • Barry Evans (dead code scanner tool, usability suggestions)
  • Clara Dimene (GeSHi syntax highlighter)
  • Damien Roch (Docker support)
  • Daniel L. Dudley (made the ISO 8601 library object available)
  • Davide Ancona (coinduction examples)
  • Douglas R. Miles (suggestions, bug reports, Logtalk on SWISH experiments)
  • Ebrahim Azarisooreh (code metrics tool)
  • Eva Stöwe (PDT support for Logtalk)
  • Feliks Kluzniak (coinduction examples and bug reports)
  • François Fages (meta-predicate safety bug reports)
  • Günter Kniesel (PDT support for Logtalk; feedback on Logtalk OOP features)
  • Gopal Gupta (coinduction examples)
  • Ivan Bratko (search methods in the state-space searching example)
  • Jan Burse (unit tests patches and feedback)
  • Jan Wielemaker (feedback on Prolog compliance testing and engine examples)
  • Joachim Schimpf (feedback on Prolog compliance testing)
  • Joerg Schuster (bug reports)
  • John Fletcher (made XML parser available)
  • John Stewart (Java interface suggestions and solutions)
  • 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, examples documentation improvements)
  • 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)
  • Paul Tarau (feedback on threaded engines API and examples)
  • Paula Marisa Sampaio (state-space searching examples)
  • Paulo Nunes (multi-threading testing)
  • Per Mildner (code for helping decompose file paths and feedback on Prolog compliance testing)
  • rbt (bug reports)
  • Rémy Haemmerlé (meta-predicate safety bug reports)
  • Richard O'Keefe (heaps and ordered sets library code)
  • Robert Sasak (PDDL 3.0 parser contribution)
  • Robert Shiplett (bug reports)
  • Rui Marques (bug reports)
  • Sergio Castro (Docker support, IntelliJ IDEA support, testing, suggestions, and 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, bug reports, and feedback on Prolog compliance testing)
  • Victor Lagerkvist (testing, library enhancements, made Verdi Neruda available)
  • Victor Noel (bug reports)
  • Vítor Santos Costa (red-black tree library)
  • Xin Wang (bug reports) 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.


  • Center for Research in Advanced Computing Systems (CRACS), INESC TEC, Portugal


  • Kyndi, Inc. - 2015-Present
  • VivoMind Research, LLC - 2012-2013


  • Several open-source Prolog compilers (development)
  • MacPorts (MacOS X installer)
  • InnoSetup (Windows installer)
  • RPM (Linux installer)
  • dpkg (Debian installer)
  • Git (source code version control)
  • CSSToXSLFO (PDF documentation)
  • FOP (PDF documentation)
  • phpBB (discussion forums)
  • WordPress (blog)
  • TextMate (coding)