prune-lang 0.2.1

Prune is a constraint logic programming language with branching heuristic.
Documentation 
1
2
3
4
5
6
7
8
9
10
11

function id[a](x: a) -> a
begin
    x + 42 // this should fail at type checking
end

function example(x: Int)
begin
    guard id(x) = x;
end

query example(depth_step=10, depth_limit=100, answer_limit=1)