aboutsummaryrefslogtreecommitdiff
path: root/documentation/research/paradigm/logic_programming.md
diff options
context:
space:
mode:
authorEduardo Julian2019-09-07 01:50:37 -0400
committerEduardo Julian2019-09-07 01:50:37 -0400
commitb63ac226cc2ea843f08f7c72b18d22602462c624 (patch)
tree7fb72562c39549108b7a48c1a6819c9bd3a64dab /documentation/research/paradigm/logic_programming.md
parent181f93f3e963c9738ed60f6f5e2d2a37253a0b1b (diff)
Modified compiler's machinery to use the new abstractions for descriptors and signatures.
Diffstat (limited to 'documentation/research/paradigm/logic_programming.md')
-rw-r--r--documentation/research/paradigm/logic_programming.md1
1 files changed, 1 insertions, 0 deletions
diff --git a/documentation/research/paradigm/logic_programming.md b/documentation/research/paradigm/logic_programming.md
index 6e1c604cf..25c059ca9 100644
--- a/documentation/research/paradigm/logic_programming.md
+++ b/documentation/research/paradigm/logic_programming.md
@@ -29,6 +29,7 @@
# Language
+1. [Curry: A Truly Integrated Functional Logic Language](https://www-ps.informatik.uni-kiel.de/currywiki/)
1. https://flix.github.io/
1. http://logtalk.org/
1. https://github.com/fnogatz/CHR.js