Repository: klauscfhq/awesome-prolog Branch: master Commit: 6be7c3761ea1 Files: 10 Total size: 24.2 KB Directory structure: gitextract_3hg8zrf5/ ├── .editorconfig ├── .gitattributes ├── .github/ │ └── pull_request_template.md ├── .gitignore ├── .travis.yml ├── _config.yml ├── code-of-conduct.md ├── contributing.md ├── license.md └── readme.md ================================================ FILE CONTENTS ================================================ ================================================ FILE: .editorconfig ================================================ root = true [*] indent_style = tab end_of_line = lf charset = utf-8 trim_trailing_whitespace = true insert_final_newline = true [*.{json,yml}] indent_style = space indent_size = 2 ================================================ FILE: .gitattributes ================================================ * text=auto ================================================ FILE: .github/pull_request_template.md ================================================ **By submitting this pull request, I promise I have read the [contribution guidelines](https://github.com/sindresorhus/awesome-nodejs/blob/master/contributing.md) twice and ensured my submission follows it. I realize not doing so wastes the maintainers' time that they could have spent making the world better. 🖖** ================================================ FILE: .gitignore ================================================ # dependencies node_modules yarn.lock # logs *.log # OS .DS_Store # IDE .idea *.swp *.swo ================================================ FILE: .travis.yml ================================================ language: ruby rvm: 2.2 before_script: gem install awesome_bot script: awesome_bot readme.md --allow-dupe --allow-redirect notifications: email: false ================================================ FILE: _config.yml ================================================ remote_theme: klaudiosinani/re@v0.3.0 plugins: - jekyll-github-metadata - jekyll-remote-theme - jekyll-sitemap re: favicon: https://raw.githubusercontent.com/klaudiosinani/klaudiosinani.github.io/refs/heads/master/public/favicon.png ================================================ FILE: code-of-conduct.md ================================================ # Contributor Covenant Code of Conduct ## Our Pledge In the interest of fostering an open and welcoming environment, we as contributors and maintainers pledge to making participation in our project and our community a harassment-free experience for everyone, regardless of age, body size, disability, ethnicity, gender identity and expression, level of experience, nationality, personal appearance, race, religion, or sexual identity and orientation. ## Our Standards Examples of behavior that contributes to creating a positive environment include: * Using welcoming and inclusive language * Being respectful of differing viewpoints and experiences * Gracefully accepting constructive criticism * Focusing on what is best for the community * Showing empathy towards other community members Examples of unacceptable behavior by participants include: * The use of sexualized language or imagery and unwelcome sexual attention or advances * Trolling, insulting/derogatory comments, and personal or political attacks * Public or private harassment * Publishing others' private information, such as a physical or electronic address, without explicit permission * Other conduct which could reasonably be considered inappropriate in a professional setting ## Our Responsibilities Project maintainers are responsible for clarifying the standards of acceptable behavior and are expected to take appropriate and fair corrective action in response to any instances of unacceptable behavior. Project maintainers have the right and responsibility to remove, edit, or reject comments, commits, code, wiki edits, issues, and other contributions that are not aligned to this Code of Conduct, or to ban temporarily or permanently any contributor for other behaviors that they deem inappropriate, threatening, offensive, or harmful. ## Scope This Code of Conduct applies both within project spaces and in public spaces when an individual is representing the project or its community. Examples of representing a project or community include using an official project e-mail address, posting via an official social media account, or acting as an appointed representative at an online or offline event. Representation of a project may be further defined and clarified by project maintainers. ## Enforcement Instances of abusive, harassing, or otherwise unacceptable behavior may be reported by contacting the project team at klaussinani@gmail.com. All complaints will be reviewed and investigated and will result in a response that is deemed necessary and appropriate to the circumstances. The project team is obligated to maintain confidentiality with regard to the reporter of an incident. Further details of specific enforcement policies may be posted separately. Project maintainers who do not follow or enforce the Code of Conduct in good faith may face temporary or permanent repercussions as determined by other members of the project's leadership. ## Attribution This Code of Conduct is adapted from the [Contributor Covenant][homepage], version 1.4, available at [http://contributor-covenant.org/version/1/4][version] [homepage]: http://contributor-covenant.org [version]: http://contributor-covenant.org/version/1/4/ ================================================ FILE: contributing.md ================================================ # Contribution Guidelines Please note that this project is released with a [Contributor Code of Conduct](code-of-conduct.md). By participating in this project you agree to abide by its terms. Ensure your pull request adheres to the following guidelines: - Search previous suggestions before making a new one, as yours may be a duplicate - Suggested packages should be tested and documented - Make an individual pull request for each suggestion - Use the following format: `[package](link) - Description.` - Additions should be added to the bottom of the relevant category - Keep descriptions short and simple, but descriptive - Start the description with a capital and end with a full stop/period - Don't start the description with `A` or `An` - Check your spelling and grammar - Make sure your text editor is set to remove trailing whitespace - The pull request should have a useful title and include a link to the package - New categories or improvements to the existing categorization are welcome, but should be done in a separate pull request Thank you for your suggestion! ### Submitting a Pull Request - Non-trivial changes are often best discussed in an issue first, to prevent you from doing unnecessary work - Use a descriptive title for the pull request and commits - You might be asked to do changes to your pull request, you can do that by just [updating the existing one](https://github.com/RichardLitt/knowledge/blob/master/github/amending-a-commit-guide.md) > Contributing.md based on the one of https://github.com/sindresorhus/awesome-nodejs ================================================ FILE: license.md ================================================ CC0 1.0 Universal Statement of Purpose The laws of most jurisdictions throughout the world automatically confer exclusive Copyright and Related Rights (defined below) upon the creator and subsequent owner(s) (each and all, an "owner") of an original work of authorship and/or a database (each, a "Work"). Certain owners wish to permanently relinquish those rights to a Work for the purpose of contributing to a commons of creative, cultural and scientific works ("Commons") that the public can reliably and without fear of later claims of infringement build upon, modify, incorporate in other works, reuse and redistribute as freely as possible in any form whatsoever and for any purposes, including without limitation commercial purposes. These owners may contribute to the Commons to promote the ideal of a free culture and the further production of creative, cultural and scientific works, or to gain reputation or greater distribution for their Work in part through the use and efforts of others. For these and/or other purposes and motivations, and without any expectation of additional consideration or compensation, the person associating CC0 with a Work (the "Affirmer"), to the extent that he or she is an owner of Copyright and Related Rights in the Work, voluntarily elects to apply CC0 to the Work and publicly distribute the Work under its terms, with knowledge of his or her Copyright and Related Rights in the Work and the meaning and intended legal effect of CC0 on those rights. 1. Copyright and Related Rights. A Work made available under CC0 may be protected by copyright and related or neighboring rights ("Copyright and Related Rights"). Copyright and Related Rights include, but are not limited to, the following: i. the right to reproduce, adapt, distribute, perform, display, communicate, and translate a Work; ii. moral rights retained by the original author(s) and/or performer(s); iii. publicity and privacy rights pertaining to a person's image or likeness depicted in a Work; iv. rights protecting against unfair competition in regards to a Work, subject to the limitations in paragraph 4(a), below; v. rights protecting the extraction, dissemination, use and reuse of data in a Work; vi. database rights (such as those arising under Directive 96/9/EC of the European Parliament and of the Council of 11 March 1996 on the legal protection of databases, and under any national implementation thereof, including any amended or successor version of such directive); and vii. other similar, equivalent or corresponding rights throughout the world based on applicable law or treaty, and any national implementations thereof. 2. Waiver. To the greatest extent permitted by, but not in contravention of, applicable law, Affirmer hereby overtly, fully, permanently, irrevocably and unconditionally waives, abandons, and surrenders all of Affirmer's Copyright and Related Rights and associated claims and causes of action, whether now known or unknown (including existing as well as future claims and causes of action), in the Work (i) in all territories worldwide, (ii) for the maximum duration provided by applicable law or treaty (including future time extensions), (iii) in any current or future medium and for any number of copies, and (iv) for any purpose whatsoever, including without limitation commercial, advertising or promotional purposes (the "Waiver"). Affirmer makes the Waiver for the benefit of each member of the public at large and to the detriment of Affirmer's heirs and successors, fully intending that such Waiver shall not be subject to revocation, rescission, cancellation, termination, or any other legal or equitable action to disrupt the quiet enjoyment of the Work by the public as contemplated by Affirmer's express Statement of Purpose. 3. Public License Fallback. Should any part of the Waiver for any reason be judged legally invalid or ineffective under applicable law, then the Waiver shall be preserved to the maximum extent permitted taking into account Affirmer's express Statement of Purpose. In addition, to the extent the Waiver is so judged Affirmer hereby grants to each affected person a royalty-free, non transferable, non sublicensable, non exclusive, irrevocable and unconditional license to exercise Affirmer's Copyright and Related Rights in the Work (i) in all territories worldwide, (ii) for the maximum duration provided by applicable law or treaty (including future time extensions), (iii) in any current or future medium and for any number of copies, and (iv) for any purpose whatsoever, including without limitation commercial, advertising or promotional purposes (the "License"). The License shall be deemed effective as of the date CC0 was applied by Affirmer to the Work. Should any part of the License for any reason be judged legally invalid or ineffective under applicable law, such partial invalidity or ineffectiveness shall not invalidate the remainder of the License, and in such case Affirmer hereby affirms that he or she will not (i) exercise any of his or her remaining Copyright and Related Rights in the Work or (ii) assert any associated claims and causes of action with respect to the Work, in either case contrary to Affirmer's express Statement of Purpose. 4. Limitations and Disclaimers. a. No trademark or patent rights held by Affirmer are waived, abandoned, surrendered, licensed or otherwise affected by this document. b. Affirmer offers the Work as-is and makes no representations or warranties of any kind concerning the Work, express, implied, statutory or otherwise, including without limitation warranties of title, merchantability, fitness for a particular purpose, non infringement, or the absence of latent or other defects, accuracy, or the present or absence of errors, whether or not discoverable, all to the greatest extent permissible under applicable law. c. Affirmer disclaims responsibility for clearing rights of other persons that may apply to the Work or any use thereof, including without limitation any person's Copyright and Related Rights in the Work. Further, Affirmer disclaims responsibility for obtaining any necessary consents, permissions or other rights required for any use of the Work. d. Affirmer understands and acknowledges that Creative Commons is not a party to this document and has no duty or obligation with respect to this CC0 or use of the Work. For more information, please see ================================================ FILE: readme.md ================================================ # Awesome Prolog [![Awesome](https://awesome.re/badge.svg)](https://awesome.re) > A curated list of open-source Prolog frameworks, libraries and resources. ## Contents - [API Interfaces](#api-interfaces) - [Artificial Intelligence](#artificial-intelligence) - [Build Systems](#build-systems) - [Compilers](#compilers) - [Database](#database) - [Date](#date) - [Development](#development) - [IDE](#ide) - [Interpreters](#interpreters) - [JSON](#json) - [Logging](#logging) - [Machine Learning](#machine-learning) - [Math](#math) - [Miscellaneous](#miscellaneous) - [Native](#native) - [Object Oriented Programming](#object-oriented-programming) - [Parsing](#parsing) - [Regular Expressions](#regular-expressions) - [REST Frameworks](#rest-frameworks) - [Server](#server) - [Testing](#testing) - [Text Editor Extensions](#text-editor-extensions) - [Utilities](#utilities) - [Resources](#resources) - [Tutorials](#tutorials) - [Videos](#videos) - [Free Courses](#free-courses) - [Books](#books) - [Community](#community) - [Contributing](#contributing) - [License](#license) ## API interfaces - [twitter_pack](https://github.com/samwalrus/twitter_pack) - Twitter API interface. - [amazon_api](http://packs.ndrix.com/amazon_api/index.html) - Amazon API interface. - [blog_core](https://blog-core.net) - Blog/CMS framework. - [irc_client](https://github.com/eazar001/irc_client) - Low-level IRC interface. - [geoip](https://github.com/JanWielemaker/geoip) - GeoIP interface. - [pl_omdb](https://github.com/eazar001/pl_omdb) - OMDB API interface. ## Artificial Intelligence - [zamia-ai](https://github.com/gooofy/zamia-ai) - Open source AI system. ## Build Systems - [biomake](https://github.com/evoldoers/biomake) - GNU-Make-like building utility. ## Compilers - [SWI-Prolog](http://www.swi-prolog.org) - Widely used, comprehensive Prolog compiler. - [GNU Prolog](http://www.gprolog.org) - ISO Prolog compiler with useful extensions. - [YAP](https://github.com/vscosta/yap-6.3/) - High-performance Prolog compiler. - [Ciao](https://github.com/ciao-lang/ciao) - A Prolog system with many extensions. - [Eclipse CLP](https://eclipseclp.org/) - A constraint logic programming system. - [XSB](http://xsb.sourceforge.net/) - XSB logic programming and deductive database system. ## Database - [prolongo](https://github.com/khueue/prolongo) - MongoDB driver. - [docstore](https://github.com/rla/docstore) - Document-oriented database. - [db_facts](http://stoics.org.uk/~nicos/sware/db_facts) - Centric abstraction layer for SQL. - [bio_db](http://stoics.org.uk/~nicos/sware/bio_db) - Biological datasets manager. - [prosqlite](http://stoics.org.uk/~nicos/sware/prosqlite) - SQLite interface. - [TerminuDB](https://github.com/terminusdb/terminusdb) - for knowledge graph representation ## Date - [julian](https://github.com/mndrix/julian) - Date-time library. ## Development - [typedef](http://www.swi-prolog.org/pack/list?p=typedef) - Type definitions. - [lambda](http://www.swi-prolog.org/pack/list?p=lambda) - Lambda expressions. - [func](https://github.com/mndrix/func/) - Function application and composition. - [condition](https://github.com/mndrix/condition) - Common Lisp-like condition system. - [function_expansion](https://github.com/mndrix/function_expansion) - Function-like macros. - [fsyntax](http://ciao-lang.org/ciao/build/doc/ciao.html/fsyntax_doc.html) - Ciao functional syntax. ## IDE - [swish](https://github.com/SWI-Prolog/swish) - SWI-Prolog web IDE. - [Prolog Development Tool](http://sewiki.iai.uni-bonn.de/research/pdt/docs/start) - Prolog IDE for Eclipse. - [VSC-Prolog](https://github.com/arthwang/vsc-prolog) - Prolog extension for Visual Studio Code. ## Interpreters - [golog](https://github.com/mndrix/golog) - Interpreter in Go. - [erlog](https://github.com/rvirding/erlog) - Interpreter in Erlang. - [chalk](https://github.com/rust-lang-nursery/chalk) - Interpreter in Rust. - [jiprolog](https://github.com/jiprolog/jiprolog) - Interpreter in Java. - [prolog.js](https://github.com/jldupont/prolog.js) - Interpreter in JavaScript. - [prolog](https://github.com/Erdwolf/prolog) - Interpreter in Haskell. - [ELPI](https://github.com/LPCIC/elpi) - Embeddable λProlog Interpreter in OCaml. - [scryer prolog](https://github.com/mthom/scryer-prolog) - ISO-compatible interpreter in Rust. ## JSON - [djson](http://packs.ndrix.com/djson/index.html) - Declarative JSON. ## Logging - [log4p](https://github.com/hargettp/log4p) - Logging library. - [httplog](https://github.com/JanWielemaker/httplog) - HTTP logfiles. ## Machine Learning - [mlu](http://stoics.org.uk/~nicos/sware/mlu) - Probabilistic logic programs. - [cplint](https://github.com/friguzzi/cplint) - Reasoning suite for probabilistic logic programs. - [cplint_datasets](https://github.com/friguzzi/cplint_datasets) - Dataset for machine learning. ## Math - [matrix](https://github.com/friguzzi/matrix) - Matrix operations. - [nan_numerics_prime](https://github.com/jp-diegidio/Nan.Numerics.Prime-Prolog) - Prime numbers library. - [pljulia](https://github.com/samer--/pljulia) - Numerical and technical computing. ## Miscellaneous - [Online compiler](https://www.tutorialspoint.com/execute_prolog_online.php) - Execute Prolog online. - [turing](https://bitbucket.org/ttmrichter/turing/src) - Turing Machine simulator. - [yesbot](https://github.com/eazar001/yesbot) - IRC Bot. - [webconsole](http://www.swi-prolog.org/pack/list?p=webconsole) - Browser as HTML console. - [prologmud](https://github.com/TeamSPoon/prologmud_samples) - Online text adventure game. ## Native - [by_unix](http://stoics.org.uk/~nicos/sware/by_unix) - Unix primitives library. - [inotify](https://github.com/JanWielemaker/inotify) - Linux notification library. - [plmidi](https://github.com/samer--/plmidi) - Macos MIDI interface. - [plgi](http://www.swi-prolog.org/pack/list?p=plgi) - Gnome bindings. ## Object Oriented Programming - [logtalk](http://www.swi-prolog.org/pack/list?p=logtalk) - Object oriented logic programming. ## Parsing - [atom_feed](http://packs.ndrix.com/atom_feed/index.html) - Atom and RSS feeds parser. - [tokenize](https://github.com/aBathologist/tokenize) - Straightforward text tokenizing. - [markdown](https://github.com/rla/prolog-markdown) - Markdown parser. - [yaml](http://www.swi-prolog.org/pack/list?p=yaml) - YAML parser. ## Regular Expressions - [regex](https://github.com/mndrix/regex) - Regular expressions library. ## REST Frameworks - [arouter](https://github.com/rla/alternative-router) - HTTP router/dispatcher. ## Server - [httppl](https://github.com/jamesbvaughan/httppl) - Simple HTTP server. - [letswicrypt](https://github.com/triska/letswicrypt) - HTTPS server. ## Testing - [tap](https://github.com/mndrix/tap) - Automated TAP testing. - [quickcheck](https://github.com/mndrix/quickcheck) - QuickCheck randomized testing. - [PlUnit](http://www.swi-prolog.org/pldoc/package/plunit.html) - Prolog unit tests. ## Text Editor Extensions - [prolog.vim](https://github.com/adimit/prolog.vim) - Prolog integration for Vim. - [ediprolog](https://github.com/triska/ediprolog) - Prolog integration for Emacs. - [sublimeprolog](https://github.com/alnkpa/sublimeprolog) - Prolog integration for Sublime Text. - [repl.vim](https://github.com/ujihisa/repl.vim) - VIM REPL with support for SWIProlog. - [Ciao mode for Emacs](https://github.com/ciao-lang/ciao_emacs) - Emacs mode for Ciao and Prolog. ## Utilities - [pac](http://www.swi-prolog.org/pack/list?p=pac) - Anonymous predicates expansion utility. - [list_util](https://github.com/mndrix/list_util) - List utility predicates. - [gvterm](http://www.swi-prolog.org/pack/list?p=gvterm) - Reveal terms using Graphviz. - [odf_sheet](http://www.swi-prolog.org/pack/list?p=odf_sheet) - Load and analyze ODF spreadsheets. - [graphml](http://www.swi-prolog.org/pack/list?p=graphml) - Create GraphML files. - [fileutils](http://www.swi-prolog.org/pack/list?p=fileutils) - File manipulation library. - [dia](http://www.swi-prolog.org/pack/list?p=dia) - UML loading predicates. - [cplint_r](https://github.com/frnmst/cplint_r) - R plotting predicates. - [tuProlog](http://apice.unibo.it/xwiki/bin/view/Tuprolog/WebHome) - Light-weight system for distributed applications and infrastructures. ## Resources ### Tutorials #### Beginner - [Learn Prolog Now!](http://learnprolognow.org/lpnpage.php?pageid=online) - Thorough introductory course to programming in Prolog. - [P-99: Ninety-Nine Prolog Problems](https://sites.google.com/site/prologsite/prolog-problems) - Practice problems in Prolog and Logic programming. - [The Power of Prolog](https://www.metalevel.at/prolog) - Introduction to modern Prolog. - [Simply Logical](http://book.simply-logical.space) - Intelligent reasoning by example. - [Prolog Wikibook](https://en.wikibooks.org/wiki/Prolog) - Thorough Prolog overview. #### Advanced - [Prolog for Software Engineering](https://www.cs.auckland.ac.nz/~j-hamer/07.363/prolog-for-se.html) - Software engineering fundamentals using Prolog. - [Prolog Modules](http://chiselapp.com/user/ttmrichter/repository/gng/doc/trunk/output/tutorials/swiplmodtut.html) - Fundamentals in SWI-Prolog Modules. - [Web Applications in SWI-Prolog](http://www.pathwayslms.com/swipltuts/html) - Building web application with SWI-Prolog. - [Constraint Logic Programming over Finite Domains](https://github.com/triska/clpz) - Fundamentals of Constraint Systems on Finite Domains. - [Printing Messages in SWI-Prolog](http://www.pathwayslms.com/swipltuts/message/index.html) - IO handling in libraries. ### Videos - [Prolog Tutorial](https://www.youtube.com/watch?v=SykxWpFwMGs) - General hour-long video tutorial. - [Introduction to Prolog](https://www.youtube.com/watch?v=GHLfeGN5OMk) - Hour-long introduction to Prolog. - [Programming In Prolog](https://youtu.be/gJOZZvYijqk) - Four-part video introduction. ### Free Courses - [Prolog Online Training](https://www.youtube.com/playlist?list=PLWPirh4EWFpFLjsd3IUqymnCVBaz1Yagg) - Tutorials Point's series on Prolog. - [Prolog in Artificial Intelligence](https://www.youtube.com/playlist?list=PLWPirh4EWFpEYxjEJyDoqplBhJF91Mwkp) - Tutorials Point's series on Prolog with lectures relating Prolog to AI. ### Books - [Adventure in Prolog](http://www.amzi.com/AdventureInProlog/apreface.php) - Pragmatic approach to Prolog. - [Prolog Programming in Depth](http://www.covingtoninnovations.com/books.html#ppid) - Full coverage of the Prolog programming language. - [Logic, Programming and Prolog](http://www.j-paine.org/prolog/mathnotes/files/pms/node1.html) - Foundations of Logic programming and programming techniques in Prolog. - [Natural Language Processing for Prolog Programmers](http://www.covingtoninnovations.com/books.html#nlp) - Turning theories into practical techniques. - [Artificial Intelligence through Prolog](http://faculty.nps.edu/ncrowe/book/book.html) - In-depth coverage of key concepts on artificial intelligence. - [Building Expert Systems in Prolog](http://www.amzi.com/ExpertSystemsInProlog/index.htm) - Build prototype expert system shells and their underlying inference engines. - [Coding Guidelines for Prolog](https://arxiv.org/abs/0911.2899) - Coding standards and good practices for Prolog. - [The Art of Prolog](https://mitpress.mit.edu/books/art-prolog-second-edition) - Advanced programming techniques for Prolog. ### Community - [Prolog FAQ](https://www.metalevel.at/prolog/faq) - Frequently Asked Questions list of the SWI-Prolog newsgroup. - [SWI-Prolog Discourse](https://swi-prolog.discourse.group/) - Official SWI-Prolog Discourse board. - [SWI-Prolog Mailing List](http://www.swi-prolog.org/Mailinglist.html) - Announcements, questions and discussion among SWI-Prolog users. - [SWI-Prolog Freenode](http://webchat.freenode.net/?channels=##prolog) - IRC channel of the SWI-Prolog community. - [SWI-Prolog Google Group](https://groups.google.com/forum/#!forum/swi-prolog) - SWI-Prolog user discussion forum **DEPRECATED**. - [Stack Overflow Prolog](https://stackoverflow.com/questions/tagged/prolog) - User questions under the Prolog tag. - [Reddit Prolog](http://www.reddit.com/r/prolog) - Logic Programming and Prolog subreddit. ## Contributing Contributions are super welcome! Have a look at the [Contributing Guidelines](contributing.md) on how to get started. ## License [![CC0](http://mirrors.creativecommons.org/presskit/buttons/88x31/svg/cc-zero.svg)](https://creativecommons.org/publicdomain/zero/1.0)