aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark/paradigm
diff options
context:
space:
mode:
authorEduardo Julian2022-07-07 20:47:14 -0400
committerEduardo Julian2022-07-07 20:47:14 -0400
commitfc6e6f19818dc24c8932b74a274b081f5720fda4 (patch)
tree0a35130aa9b3358345b9ca15a6c7d507ec7cf9bb /documentation/bookmark/paradigm
parentf7880ce83ba82ada2d04a0c587448446e677d458 (diff)
Added support for defining custom/closed macro systems.
Diffstat (limited to 'documentation/bookmark/paradigm')
-rw-r--r--documentation/bookmark/paradigm/logic_programming.md10
1 files changed, 10 insertions, 0 deletions
diff --git a/documentation/bookmark/paradigm/logic_programming.md b/documentation/bookmark/paradigm/logic_programming.md
index 9cb7df2e6..64629d311 100644
--- a/documentation/bookmark/paradigm/logic_programming.md
+++ b/documentation/bookmark/paradigm/logic_programming.md
@@ -1,17 +1,22 @@
# Concurrent Logic Programming
+0. []()
0. [The Joy of Concurrent Logic Programming](http://www.call-with-current-continuation.org/articles/the-joy-of-concurrent-logic-programming.txt)
# Unification
+0. []()
0. [Functors of the World, Unite!](https://www.youtube.com/watch?v=8k7YH9st_8U)
# Inspiration
+0. []()
0. [Next-Paradigm Programming Languages: What Will They Look Like and What Changes Will They Bring?](https://arxiv.org/abs/1905.00402)
# Reference
+0. []()
+0. [Symbolic artificial intelligence at Pipedrive](https://medium.com/pipedrive-engineering/symbolic-artificial-intelligence-at-pipedrive-a9bd36d06b9e)
0. [PrologHub](https://prologhub.com/)
0. https://book.simply-logical.space/
0. [Higher-Order Logic Programming](https://www.lix.polytechnique.fr/~dale/papers/Handbook_Logic_AI_LP.pdf)
@@ -42,6 +47,7 @@
# Language
+0. []()
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/
@@ -54,18 +60,22 @@
# Beyond logic programming
+0. []()
0. https://github.com/Web-Prolog/swi-web-prolog
# Constraint Logic Programming
+0. []()
0. http://www.pathwayslms.com/swipltuts/clpfd/clpfd.html
0. https://stackabuse.com/constraint-programming-with-python-constraint/
# Constraint Handling Rules
+0. []()
0. http://chrjs.net/
# Answer Set Programming
+0. []()
0. [What Is Answer Set Programming?](https://www.cs.utexas.edu/users/vl/papers/wiasp.pdf)