flowlog-build-0.2.3
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

flowlog-build 0.2.3

Build-time FlowLog compiler for library mode.

Crate
Source
Builds
Feature flags

..
circular_include_a.dl
circular_include_b.dl
duplicate_attribute.dl
duplicate_decl.dl
duplicate_directive.dl
include_io.dl
loop_in_standard_mode.dl
non_nullary_loop_condition.dl
placeholder_in_udf.dl
syntax_error.dl
undeclared_in_directive.dl
undeclared_in_fact.dl
undeclared_in_rule.dl
undeclared_iterative.dl
undeclared_loop_condition.dl

1
2
3

.decl edge(x: number, y: number)
.output edge
fixpoint { edge(X, Y) :- edge(X, Y). }