Reference Guide

We list all the language features supported by Scallop.

Import Files

import "path/to/other/file.scl"

type ObjectId = usize

type Name <: String

type Action = LEFT | RIGHT | UP | DOWN

type Expr = Const(i32) | Add(Expr, Expr) | Sub(Expr, Expr)

type edge(x: i32, y: i32)

const PI: f32 = 3.1415

rel edge(1, 2)

rel edge = {(1, 2), (2, 3), (3, 4)}

rel path(a, b) = edge(a, b) or path(a, c) and edge(c, b)

rel { assign(v, false); assign(v, true) } = variable(v)

fib(x - 1, y)

rel has_no_child(p) = person(p) and not father(p, _) and not mother(p, _)

rel number(0)
rel number(i + 1) = number(i) and i < 10

rel person = {"alice", "bob", "christine"}
rel num_people(n) = n := count(p: person(p))

rel grid(x, y) = range<i32>(0, 5, x) and range<i32>(0, 5, y)

query path