Lib.rs

› 关键词 #programming-language #prolog #datalog #mangle #fact #language #compiler

#logic-programming

avalog

一个带有类似Prolog语法的Avatar逻辑的实验性实现

v0.7.2 1.4K #avatar #logic #logic-programming #prolog #solver #advanced-research
chalk-engine

Chalk项目中的核心特质引擎

v0.98.0 1.0K #logic-programming #prolog #traits #compiler
scryer-prolog

主要用Rust编写的现代Prolog实现

v0.9.4 #prolog #logic-programming #programming-language #prolog-interpreter #prolog-system
lsts

大规模类型系统

v0.6.34 240 #type #proof #theorem #logic #automated #logic-programming #programming-language
ascent

Rust中的逻辑编程

v0.6.0 340 #logic-programming #datalog #proc-macro #programming-language #program-analysis
ascent_base

ascent软件包的支持库

v0.6.0 340 #logic-programming #ascent #lattice #macro #datalog #package #language
mangle-parse

Mangle，一种逻辑编程语言

v0.1.1 140 #logic-programming #programming-language #mangle #fact #parser #expression-parser #rules
asdi

简单的Datalog实现（Rust版）

v0.2.5 #logic-programming #datalog #inference #simplistic #parser #model #variables
rusty-wam

Rust中的Warren抽象机

v0.8.1 #prolog #logic-programming #programming-language #industrial #strength #machine #constraint
savan

answer set navigation的核心库

v0.3.1 #logic-programming #set #navigation #weighted #faceted #functionalities #revolving
mangle-factstore

Mangle，一种逻辑编程语言

v0.1.1 160 #logic-programming #programming-language #fact #mangle
mangle-engine

Mangle，一种逻辑编程语言

v0.1.1 150 #logic-programming #programming-language #mangle #naive #fact
arde

Datalog 引擎

v0.1.7 170 #datalog #logic-programming #engine #query-engine #edge #eval #goal
mangle-analysis

Mangle，一种逻辑编程语言

v0.1.1 150 #logic-programming #programming-language #inference #mangle #analysis #name #resolution
mangle-ast

Mangle，一种逻辑编程语言

v0.1.1 160 #logic-programming #programming-language #ast #syntax-tree #mangle #source #representation
canrun

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

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

Zed 语言的 Curry 语言支持

v0.0.4 120 #logic-programming #curry #zed #functional-programming #programming-language #extension
proto-vulcan

嵌入 Rust 中的 miniKanren 家族关系逻辑编程语言

v0.1.6 #logic-programming #programming-language #logic #programming #language
logru

一个小型、可嵌入且快速的 Prolog 子集解释器

v0.2.0 #prolog #logic-programming #first-order-logic #first-order
passdata

逻辑编程语言中的认证和授权数据

v0.0.2 #logic-programming #programming-language #data #authorization #authentication
crepe

作为过程宏的 Rust 中的 Datalog

v0.1.8 3.5K #datalog #logic-programming #analysis #compiler #proc-macro
ukanren

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

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

尝试使用 DuckDuckGo 搜索搜索.