文件列表:

Little_Languages_For_Relational_Programming.pdf (306707, 2020-02-18)
miniKanren/ (0, 2020-02-18)
miniKanren/lang/ (0, 2020-02-18)
miniKanren/lang/miniKanren-mlang.rkt (915, 2020-02-18)
miniKanren/lang/mk.scm (37017, 2020-02-18)
miniKanren/lang/reader.rkt (44, 2020-02-18)
miniKanren/micro.rkt (105, 2020-02-18)
miniKanren/micro/ (0, 2020-02-18)
miniKanren/micro/lang/ (0, 2020-02-18)
miniKanren/micro/lang/reader.rkt (49, 2020-02-18)
miniKanren/micro/micro-internals.rkt (13554, 2020-02-18)
mk/ (0, 2020-02-18)
mk/freshman.rkt (102, 2020-02-18)
mk/freshman/ (0, 2020-02-18)
mk/freshman/freshman-mk-lang.rkt (8773, 2020-02-18)
mk/freshman/freshman-mk.rkt (1021, 2020-02-18)
mk/freshman/freshman-stx.bak (1564, 2020-02-18)
mk/freshman/freshman-stx.rkt (1366, 2020-02-18)
mk/freshman/lang/ (0, 2020-02-18)
mk/freshman/lang/reader.rkt (45, 2020-02-18)
mk/lib/ (0, 2020-02-18)
mk/lib/micro-internals.rkt (13554, 2020-02-18)
mk/lib/mk-micro.rkt (6210, 2020-02-18)
mk/lib/mk-stx.rkt (2827, 2020-02-18)
mk/lib/numberless.rkt (1929, 2020-02-18)
mk/miniKanren Teaching languages.txt (2404, 2020-02-18)
results.xlsx (23272, 2020-02-18)

Little Logic Languages ====================== Project files for miniKanren language levels, as outlined in my paper, _[Little Logic Languages for Relational Programming](http://www.schemeworkshop.org/2014/papers/Brady2014.pdf)_, presented at the Scheme and Functional Programming Workshop of 2014. From the abstract: > The miniKanren relational programming language, though designed and used as a > language with which to teach relational programming, can be immensely > frustrating when it comes to debugging programs, especially when the > programmer is a novice. In order to address the varying levels of programmer > sophistication, we introduce a suite of different language levels. We > introduce the first of these languages, and provide experimental results that > demonstrate its effectiveness in helping beginning programmers discover and > prevent mistakes.

近期下载者：

相关文件：

评论：[我要评论] [举报此文件]

收藏者：