Linking pages
- x775 - Introduction to Datalog https://x775.net/2019/03/18/Introduction-to-Datalog.html 43 comments
- Propositions as Filenames, Builds as Proofs: The Essence of Make - Bob Atkey http://bentnib.org/posts/2015-04-17-propositions-as-filenames-essence-of-make.html 38 comments
- GitHub - advancedresearch/avalog: An experimental implementation of Avatar Logic with a Prolog-like syntax https://github.com/advancedresearch/avalog 7 comments
- Automated Propositional Sequent Proofs in Your Browser with Tau Prolog | Hey There Buddo! https://www.philipzucker.com/javascript-automated-proving/ 3 comments
- ExFaKT: a framework for explaining facts over knowledge graphs and text | the morning paper https://blog.acolyer.org/2019/02/11/exfakt-a-framework-for-explaining-facts-over-knowledge-graphs-and-text/ 0 comments
- GitHub - ztangent/Julog.jl: A Julia package for Prolog-style logic programming. https://github.com/ztangent/Julog.jl 0 comments
- 6 Best Free Prolog Courses to Take in 2023 — Class Central https://www.classcentral.com/report/best-free-prolog-courses/ 0 comments
Related searches:
Search whole site: site:wikipedia.org
Search title: Horn clause - Wikipedia
See how to search.