From 00d92539208da86557e592a8c8df03d3b08e6b40 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 25 Dec 2021 22:05:54 -0400
Subject: Dusting off the pure-Lux JVM compiler machinery. [Part 2]

---
 documentation/bookmark/paradigm/logic_programming.md | 1 +
 1 file changed, 1 insertion(+)

(limited to 'documentation/bookmark/paradigm')

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)
-- 
cgit v1.2.3