aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark/paradigm/logic_programming.md
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--documentation/bookmark/paradigm/logic_programming.md1
1 files changed, 1 insertions, 0 deletions
diff --git a/documentation/bookmark/paradigm/logic_programming.md b/documentation/bookmark/paradigm/logic_programming.md
index cf7b7d13c..9cb7df2e6 100644
--- a/documentation/bookmark/paradigm/logic_programming.md
+++ b/documentation/bookmark/paradigm/logic_programming.md
@@ -12,6 +12,7 @@
# Reference
+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)
0. [HiLog: A foundation for higher-order logic programming](http://www.sciencedirect.com/science/article/pii/074310669390039J)