aboutsummaryrefslogtreecommitdiff
path: root/documentation/research/paradigm
diff options
context:
space:
mode:
authorEduardo Julian2019-05-28 18:34:12 -0400
committerEduardo Julian2019-05-28 18:34:12 -0400
commit5635aa3482001fd137b9deee42514b803ba21f75 (patch)
tree90ae77bf402a648601d44a4b6124a9b0335fae93 /documentation/research/paradigm
parent1c2e2b58bca4e837bed6d701fe16be092be828a3 (diff)
Moved my research notes from Trello to the repo:
+ Browser. + Machine learning. + Logic programming. + Transducer | stream | pipe.
Diffstat (limited to '')
-rw-r--r--documentation/research/paradigm/logic_programming.md52
1 files changed, 52 insertions, 0 deletions
diff --git a/documentation/research/paradigm/logic_programming.md b/documentation/research/paradigm/logic_programming.md
new file mode 100644
index 000000000..6e1c604cf
--- /dev/null
+++ b/documentation/research/paradigm/logic_programming.md
@@ -0,0 +1,52 @@
+# Reference
+
+1. https://book.simply-logical.space/
+1. [Higher-Order Logic Programming](https://www.lix.polytechnique.fr/~dale/papers/Handbook_Logic_AI_LP.pdf)
+1. [HiLog: A foundation for higher-order logic programming](http://www.sciencedirect.com/science/article/pii/074310669390039J)
+1. https://www.amazon.com/Reasoned-Schemer-MIT-Press-ebook/dp/B07B9SL4LR
+1. [Can Logic Programming Execute as Fast as Imperative Programming?](https://www2.eecs.berkeley.edu/Pubs/TechRpts/1990/CSD-90-600.pdf)
+1. [Automatic Differentiation using Constraint Handling Rules in Prolog](https://arxiv.org/abs/1706.00231)
+1. [A Framework for Extending microKanren with Constraints](https://arxiv.org/pdf/1701.00633.pdf)
+1. https://www.amazon.com/Clause-Effect-Programming-Working-Programmer/dp/3540629718
+1. https://medium.com/@enkiv2/mycroft-a-predicate-logic-language-overview-post-mortem-e357fe80d53
+1. http://lambda-the-ultimate.org/node/112
+1. http://okmij.org/ftp/papers/LogicT.pdf
+1. https://www.researchgate.net/publication/2274015_Relational_Programming_in_Libra
+1. [Monadic-style backtracking](http://www.cs.ox.ac.uk/ralf.hinze/publications/index.html)
+1. [Prolog's control constructs in a functional setting - Axioms and implementation](http://www.cs.ox.ac.uk/ralf.hinze/publications/index.html)
+1. [Solving Problems Declaratively - Mark Engelberg](https://www.youtube.com/watch?v=TA9DBG8x-ys)
+1. http://programming-puzzler.blogspot.com/2013/03/logic-programming-is-overrated.html
+1. https://gist.github.com/swannodette/3217582
+1. [AppLP: A Dialogue on Applications of Logic Programming](https://arxiv.org/pdf/1704.02375.pdf)
+1. https://www.metalevel.at/prolog
+1. https://www.amazon.com/Reasoned-Schemer-MIT-Press-ebook/dp/B004GEBQS6
+1. https://github.com/Web-Prolog/swi-web-prolog/blob/master/web-client/apps/swish/web-prolog.pdf
+1. [Den of Clojure Build Your Own Logic Engine](https://www.youtube.com/watch?v=y1bVJOAfhKY)
+1. https://eli.thegreenplace.net/2018/unification/
+1. http://boxbase.org/entries/2019/feb/11/dialogical-logic-programming/
+1. [Can logic programming execute as fast as imperative programming?](https://dl.acm.org/citation.cfm?id=128589)
+1. https://synthese.wordpress.com/2010/08/21/prologs-death/
+
+# Language
+
+1. https://flix.github.io/
+1. http://logtalk.org/
+1. https://github.com/fnogatz/CHR.js
+1. https://mercurylang.org/
+1. https://www.quora.com/What-are-examples-of-statically-typed-logic-programming-languages-ex-similar-to-Prolog
+1. [Racklog: Prolog-Style Logic Programming](https://plt.eecs.northwestern.edu/snapshots/current/pdf-doc/racklog.pdf)
+1. https://souffle-lang.github.io/
+
+# Beyond logic programming
+
+1. https://github.com/Web-Prolog/swi-web-prolog
+
+# Constraint Logic Programming
+
+1. http://www.pathwayslms.com/swipltuts/clpfd/clpfd.html
+1. https://stackabuse.com/constraint-programming-with-python-constraint/
+
+# Constraint Handling Rules
+
+1. http://chrjs.net/
+