A scalable differentiable probabilistic Datalog engine, with Rust

Last update: Oct 24, 2022

Related tags

Miscellaneous scallop-v1

Overview

Scallop

A scalable probabilistic datalog engine with Rust.

Usage

The Scallop system is best integrated inside of the Rust context. With scallop! { ... } macro, you can easily embed a Probablistic Datalog program.

>::new(); // Execute the program prog.run(); // Investigate the results for elem in prog.target().complete() { println!("{:?}", elem); } } ">

use scallop_codegen::scallop;

scallop! {
  VQARSmallExample {
    decl name(Symbol, String).
    decl attr(Symbol, String).
    decl is_a(String, String).
    decl target(Symbol).

    name(A, B) :- name(A, N), is_a(N, B).

    is_a("giraffe", "animal").
    is_a("tiger", "animal").
    is_a("wolf", "animal").

    0.8::name(1, "giraffe");
    0.01::name(1, "tiger");
    0.18::name(1, "wolf").

    0.3::attr(1, "tall").

    target(A) :- name(A, "animal"), attr(A, "tall").
  }
}

fn main() {
  let mut prog = VQARSmallExample::<TopKProbProofs<3>>::new();

  // Execute the program
  prog.run();

  // Investigate the results
  for elem in prog.target().complete() {
    println!("{:?}", elem);
  }
}

In a Rust program, one will instantiate a new Datalog program with its execution context, add input facts, can call run() to execute the Datalog program.

Build from source

Please install Rust and use the nightly branch (rustup default nightly). After that, please build using

$ cargo build --release

Make sure you add --release to ensure its performance.

Then you can install the compiler sclc by using the following command.

$ cargo install --path compiler

Learn-rust - An in-depth resource to learn Rust 🦀

Learning Rust 🦀 Hello friend! 👋 Welcome to my "Learning Rust" repo, a home for my notes as I'm learning Rust. I'm structuring everything into lesson

7 Jan 28, 2022

A highly modular Bitcoin Lightning library written in Rust. Its Rust-Lightning, not Rusty's Lightning!

Rust-Lightning is a Bitcoin Lightning library written in Rust. The main crate, lightning, does not handle networking, persistence, or any other I/O. Thus, it is runtime-agnostic, but users must implement basic networking logic, chain interactions, and disk storage. More information is available in the About section.

850 Jan 3, 2023

Telegram bot help you to run Rust code in Telegram via Rust playground

Comments

Failed to install the complier

Hi! I successfully build the project, but when I want to install the compiler, there is an error: (MacOS(ARM))

% cargo install --path compiler
error: there is nothing to install in `scallop-compiler v0.1.0 (/Users/xxx/Downloads/scallop-v1-master/compiler)`, because it has no binaries
`cargo install` is only for installing programs, and can't be used with libraries.
To use a library crate, add it as a dependency in a Cargo project instead.

How to deal with this problem?

opened by hz370299 1

A scalable differentiable probabilistic Datalog engine, with Rust

Related tags

Overview

Scallop

Usage

Build from source

You might also like...

Learn-rust - An in-depth resource to learn Rust 🦀

A highly modular Bitcoin Lightning library written in Rust. Its Rust-Lightning, not Rusty's Lightning!

Telegram bot help you to run Rust code in Telegram via Rust playground

`Debug` in rust, but only supports valid rust syntax and outputs nicely formatted using pretty-please

Playing with web dev in Rust. This is a sample Rust microservice that can be deployed on Kubernetes.

🐀 Building a federated alternative to reddit in rust

Applied offensive security with Rust

Rholang runtime in rust

Easy-to-use optional function arguments for Rust

Comments

Failed to install the complier

Owner

This crate converts Rust compatible regex-syntax to Vim's NFA engine compatible regex.

MeiliSearch is a powerful, fast, open-source, easy to use and deploy search engine

A collection of exponentially-smoothed camera controllers for the Bevy Engine.

A simple induction and BMC engine.

Blueboat is an open-source alternative to Cloudflare Workers. The monolithic engine for serverless web apps.

A prisma query-engine concurrency runner

Toy: Layout-Engine

Safe API to embed an ECMAScript engine.

First Git on Rust is reimplementation with rust in order to learn about rust, c and git.

A stupid macro that compiles and executes Rust and spits the output directly into your Rust code