diff options
| author | Eduardo Julian | 2021-12-25 22:05:54 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-12-25 22:05:54 -0400 |
| commit | 00d92539208da86557e592a8c8df03d3b08e6b40 (patch) | |
| tree | a71cc9e5f41c230f07956301263a710689e9dc85 /documentation/bookmark/paradigm | |
| parent | 63b45e09c5f5ceb59a48ed05cdc2d2c6cb038a7b (diff) | |
Dusting off the pure-Lux JVM compiler machinery. [Part 2]
Diffstat (limited to '')
| -rw-r--r-- | documentation/bookmark/paradigm/logic_programming.md | 1 |
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) |