Stars
A community-maintained Python framework for creating mathematical animations.
A program that allows you to translate neural networks created with Keras to fuzzy logic programs, in order to tune these networks from a given dataset.
The oko reasoning engine is performing forward and backward chaining of n3p data.
Extend Definite Clause Grammars for Prolog by the corresponding parse tree
Three-level multimodal emotion recognition framework to detect emotions combining different inputs with different formats.
A List of Foundational Haskell Papers
Basics of relational programming with Prolog —PROgramming in LOGic ^_^
A modern Prolog implementation written mostly in Rust.
A great intro dataset for data exploration & visualization (alternative to iris).
Compile and run Constraint Handling Rules (CHR) in JavaScript
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
Programming in Tabled Prolog by David S Warren
A generator of graphs written in Python and LaTeX
Blog sobre programación declarativa, lógica y funcional
TerminusDB is a distributed, collaborative database designed for building, sharing, versioning, and reasoning on structured data.
The Power of Prolog: Introduction to modern Prolog
Tutorial using ghci to make folds easier. Come for the tutorial, stay for the fold puns.
Official upstream development repository for Cabal and cabal-install
Miscellaneous articles. The readme is the table of contents.
PaulBrownMagic / lpn
Forked from LearnPrologNow/lpnLearn Prolog Now LaTeX sources