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

docs.rs

Rust

flowlog-build 0.3.2

Build-time FlowLog compiler for library mode.

Crate
Source
Builds
Feature flags

..
attribute_unknown_type.dl
circular_include_a.dl
circular_include_b.dl
comp_arity_mismatch.dl
comp_circular_inherit.dl
comp_unknown.dl
comp_unresolved_ref.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
type_decl_duplicate.dl
type_decl_shadow_primitive.dl
type_decl_unknown_parent.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). }