diff options
Diffstat (limited to 'documentation/bookmark/paradigm')
-rw-r--r-- | documentation/bookmark/paradigm/logic_programming.md | 85 |
1 files changed, 43 insertions, 42 deletions
diff --git a/documentation/bookmark/paradigm/logic_programming.md b/documentation/bookmark/paradigm/logic_programming.md index 20f6023a9..cf7b7d13c 100644 --- a/documentation/bookmark/paradigm/logic_programming.md +++ b/documentation/bookmark/paradigm/logic_programming.md @@ -1,69 +1,70 @@ # Concurrent Logic Programming -1. [The Joy of Concurrent Logic Programming](http://www.call-with-current-continuation.org/articles/the-joy-of-concurrent-logic-programming.txt) +0. [The Joy of Concurrent Logic Programming](http://www.call-with-current-continuation.org/articles/the-joy-of-concurrent-logic-programming.txt) # Unification -1. [Functors of the World, Unite!](https://www.youtube.com/watch?v=8k7YH9st_8U) +0. [Functors of the World, Unite!](https://www.youtube.com/watch?v=8k7YH9st_8U) # Inspiration -1. [Next-Paradigm Programming Languages: What Will They Look Like and What Changes Will They Bring?](https://arxiv.org/abs/1905.00402) +0. [Next-Paradigm Programming Languages: What Will They Look Like and What Changes Will They Bring?](https://arxiv.org/abs/1905.00402) # 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/ +0. https://book.simply-logical.space/ +0. [Higher-Order Logic Programming](https://www.lix.polytechnique.fr/~dale/papers/Handbook_Logic_AI_LP.pdf) +0. [HiLog: A foundation for higher-order logic programming](http://www.sciencedirect.com/science/article/pii/074310669390039J) +0. https://www.amazon.com/Reasoned-Schemer-MIT-Press-ebook/dp/B07B9SL4LR +0. [Can Logic Programming Execute as Fast as Imperative Programming?](https://www2.eecs.berkeley.edu/Pubs/TechRpts/1990/CSD-90-600.pdf) +0. [Automatic Differentiation using Constraint Handling Rules in Prolog](https://arxiv.org/abs/1706.00231) +0. [A Framework for Extending microKanren with Constraints](https://arxiv.org/pdf/1701.00633.pdf) +0. https://www.amazon.com/Clause-Effect-Programming-Working-Programmer/dp/3540629718 +0. https://medium.com/@enkiv2/mycroft-a-predicate-logic-language-overview-post-mortem-e357fe80d53 +0. http://lambda-the-ultimate.org/node/112 +0. http://okmij.org/ftp/papers/LogicT.pdf +0. https://www.researchgate.net/publication/2274015_Relational_Programming_in_Libra +0. [Monadic-style backtracking](http://www.cs.ox.ac.uk/ralf.hinze/publications/index.html) +0. [Prolog's control constructs in a functional setting - Axioms and implementation](http://www.cs.ox.ac.uk/ralf.hinze/publications/index.html) +0. [Solving Problems Declaratively - Mark Engelberg](https://www.youtube.com/watch?v=TA9DBG8x-ys) +0. http://programming-puzzler.blogspot.com/2013/03/logic-programming-is-overrated.html +0. https://gist.github.com/swannodette/3217582 +0. [AppLP: A Dialogue on Applications of Logic Programming](https://arxiv.org/pdf/1704.02375.pdf) +0. [The Power of Prolog](https://www.metalevel.at/prolog) +0. https://www.amazon.com/Reasoned-Schemer-MIT-Press-ebook/dp/B004GEBQS6 +0. https://github.com/Web-Prolog/swi-web-prolog/blob/master/web-client/apps/swish/web-prolog.pdf +0. [Den of Clojure Build Your Own Logic Engine](https://www.youtube.com/watch?v=y1bVJOAfhKY) +0. https://eli.thegreenplace.net/2018/unification/ +0. http://boxbase.org/entries/2019/feb/11/dialogical-logic-programming/ +0. [Can logic programming execute as fast as imperative programming?](https://dl.acm.org/citation.cfm?id=128589) +0. https://synthese.wordpress.com/2010/08/21/prologs-death/ # Language -1. [Curry: A Truly Integrated Functional Logic Language](https://www-ps.informatik.uni-kiel.de/currywiki/) -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/ +0. [A Gentle Introduction to MicroKanren](https://erik-j.de/microkanren/) +0. [Curry: A Truly Integrated Functional Logic Language](https://www-ps.informatik.uni-kiel.de/currywiki/) +0. https://flix.github.io/ +0. http://logtalk.org/ +0. https://github.com/fnogatz/CHR.js +0. https://mercurylang.org/ +0. https://www.quora.com/What-are-examples-of-statically-typed-logic-programming-languages-ex-similar-to-Prolog +0. [Racklog: Prolog-Style Logic Programming](https://plt.eecs.northwestern.edu/snapshots/current/pdf-doc/racklog.pdf) +0. https://souffle-lang.github.io/ # Beyond logic programming -1. https://github.com/Web-Prolog/swi-web-prolog +0. 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/ +0. http://www.pathwayslms.com/swipltuts/clpfd/clpfd.html +0. https://stackabuse.com/constraint-programming-with-python-constraint/ # Constraint Handling Rules -1. http://chrjs.net/ +0. http://chrjs.net/ # Answer Set Programming -1. [What Is Answer Set Programming?](https://www.cs.utexas.edu/users/vl/papers/wiasp.pdf) +0. [What Is Answer Set Programming?](https://www.cs.utexas.edu/users/vl/papers/wiasp.pdf) |