diff options
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) |