Lib.rs

› 关键词 #dsl #logic #programming-language #logic-programming #prolog #language

相关

  1. canrun

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

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

  2. mini-kanren

    Rust 中的 miniKANREN

    v0.4.0 #dsl #logic #kanren

  3. ukanren

    µKanren，一种轻量级关系编程语言

    v0.0.5 #language #logic-programming #prolog #programming-language #kanren