Packaging

• SWI-Prolog
  • prolog_pack.pl -- A package manager for Prolog

Implementations

• https://en.wikipedia.org/wiki/Comparison_of_Prolog_implementations
• http://xsb.sourceforge.net/
• https://www.swi-prolog.org/
  • https://github.com/fnogatz/swivm
• http://www.gprolog.org/
• https://github.com/mthom/scryer-prolog
• https://github.com/tau-prolog/tau-prolog
• https://github.com/infradig/trealla
• https://ciao-lang.org/

Language extensions

• https://logtalk.org/
• https://en.wikipedia.org/wiki/Constraint_logic_programming
  • https://en.wikipedia.org/wiki/CLP(R)
  • https://www.swi-prolog.org/pldoc/man?section=clp
  • https://en.wikipedia.org/wiki/Constraint_Handling_Rules
    • https://dtai.cs.kuleuven.be/CHR/books.shtml
• https://en.wikipedia.org/wiki/Definite_clause_grammar

Tools

• https://www.emacswiki.org/emacs/PrologMode
• https://www.swi-prolog.org/IDE.html
• http://prodevtools.sourceforge.net/