Lib.rs

› 关键词 #logic-programming #dsl #logic #programming-language #kanren #goal

#canrun

  1. canrun

    受 *Kanren 家族语言 DSL 启发的逻辑编程库

    v0.5.0 #logic-programming #logic #dsl #kanren #programming-language

  2. canrun_basic

    Canrun 库的基本目标构造函数

    v0.1.0 #goal #canrun #basic #ops #constructor

    3. 尝试使用 DuckDuckGo 进行搜索。

  3. canrun_collections

    与集合相关的类型和 Canrun 库的目标构造函数

    v0.1.0 #collection #goal #canrun #fork #logic-programming #values #state

  4. canrun_codegen

    Canrun 库使用的进程宏

    v0.2.0 #canrun #procedural #macro #proc-macro #dsl #logic #logic-programming