diff options
author | Eduardo Julian | 2019-09-07 01:50:37 -0400 |
---|---|---|
committer | Eduardo Julian | 2019-09-07 01:50:37 -0400 |
commit | b63ac226cc2ea843f08f7c72b18d22602462c624 (patch) | |
tree | 7fb72562c39549108b7a48c1a6819c9bd3a64dab /documentation/research/paradigm/logic_programming.md | |
parent | 181f93f3e963c9738ed60f6f5e2d2a37253a0b1b (diff) |
Modified compiler's machinery to use the new abstractions for descriptors and signatures.
Diffstat (limited to '')
-rw-r--r-- | documentation/research/paradigm/logic_programming.md | 1 |
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 |