From b7cff25b71f024a4da86603e5a0b432fae1601e6 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Thu, 21 Nov 2019 23:05:27 -0400 Subject: Ported JVM host extension generation to the new JVM bytecode machinery. --- documentation/research/paradigm/Answer Set Programming.md | 4 ++++ documentation/research/paradigm/Concept programming.md | 8 ++++++++ documentation/research/paradigm/probabilistic_programming.md | 2 ++ 3 files changed, 14 insertions(+) create mode 100644 documentation/research/paradigm/Answer Set Programming.md create mode 100644 documentation/research/paradigm/Concept programming.md (limited to 'documentation/research/paradigm') diff --git a/documentation/research/paradigm/Answer Set Programming.md b/documentation/research/paradigm/Answer Set Programming.md new file mode 100644 index 000000000..089debd99 --- /dev/null +++ b/documentation/research/paradigm/Answer Set Programming.md @@ -0,0 +1,4 @@ +# Reference + +1. [Introduction to Answer Set Programming (ASP)](https://lucas.bourneuf.net/blog/drafts/tuto-asp-en.html) + diff --git a/documentation/research/paradigm/Concept programming.md b/documentation/research/paradigm/Concept programming.md new file mode 100644 index 000000000..c91489723 --- /dev/null +++ b/documentation/research/paradigm/Concept programming.md @@ -0,0 +1,8 @@ +# Language + +1. [XL (programming language)](https://en.wikipedia.org/wiki/XL_(programming_language)) +1. http://xlr.sourceforge.net/ +1. https://sourceforge.net/projects/xlr/ +1. https://github.com/c3d/xl +1. http://mozart-dev.sourceforge.net/xl.html + diff --git a/documentation/research/paradigm/probabilistic_programming.md b/documentation/research/paradigm/probabilistic_programming.md index 7799eac7c..0a4670d9a 100644 --- a/documentation/research/paradigm/probabilistic_programming.md +++ b/documentation/research/paradigm/probabilistic_programming.md @@ -11,6 +11,8 @@ # Reference +1. [Paradigms of Probabilistic Programming](https://www.youtube.com/watch?v=CmH1xxKRbiE) +1. [Anatomy of a Probabilistic Programming Framework](https://eigenfoo.xyz/prob-prog-frameworks/) 1. [Probabilistic Programming with monad‑bayes, Part 1: First Steps](https://www.tweag.io/posts/2019-09-20-monad-bayes-1.html) 1. [Probabilistic Programming with monad‑bayes, Part 2: Linear Regression](https://www.tweag.io/posts/2019-11-08-monad-bayes-2.html) 1. [FACTORIE](http://factorie.cs.umass.edu/) -- cgit v1.2.3