├── .gitignore ├── .gitmodules ├── .travis.yml ├── Makefile ├── README.md ├── examples ├── chunking.ddlog ├── ocr.ddlog ├── smoke.ddlog └── spouse_example.ddlog ├── project ├── assembly.sbt ├── build.properties ├── build.sbt └── sbt │ ├── sbt │ └── sbt-launch.jar ├── scala.mk ├── src └── main │ └── scala │ └── org │ └── deepdive │ └── ddlog │ ├── DeepDiveLog.scala │ ├── DeepDiveLogCompiler.scala │ ├── DeepDiveLogDesugarRewriter.scala │ ├── DeepDiveLogParser.scala │ ├── DeepDiveLogPrettyPrinter.scala │ ├── DeepDiveLogQueryCompiler.scala │ ├── DeepDiveLogSchemaExporter.scala │ └── DeepDiveLogSemanticChecker.scala └── test ├── README.md ├── bats-template.bash ├── bats.mk ├── checker-test.bats.template ├── checker-test ├── supervision_binary_variable │ └── input.ddlog ├── supervision_multinomial │ └── input.ddlog └── supervision_with_undeclared_relation │ └── input.ddlog ├── compile-error-test.bats.template ├── compile-error-test ├── column_dismatch │ ├── compile-error.expected │ └── input.ddlog ├── composing_boolean_categorical_vars │ ├── compile-error.expected │ └── input.ddlog ├── invalid_variable_schema │ ├── compile-error.expected │ └── input.ddlog ├── optional_modifier │ ├── compile-error.expected │ └── input.ddlog ├── repated_rule_name │ ├── compile-error.expected │ └── input.ddlog ├── unbound_variable_1 │ ├── compile-error.expected │ └── input.ddlog ├── unbound_variable_2 │ ├── compile-error.expected │ └── input.ddlog ├── unbound_variable_3 │ ├── compile-error.expected │ └── input.ddlog ├── unbound_variable_4 │ ├── compile-error.expected │ └── input.ddlog ├── unbound_variable_5 │ ├── compile-error.expected │ └── input.ddlog ├── undefined_function │ ├── compile-error.expected │ └── input.ddlog ├── undefined_relation │ ├── compile-error.expected │ └── input.ddlog ├── undefined_relation_2 │ ├── compile-error.expected │ └── input.ddlog └── weight │ ├── compile-error.expected │ └── input.ddlog ├── ddlog ├── enumerate-tests.sh ├── expected-output-test.bats.template ├── expected-output-test ├── README.md ├── annotations │ ├── export-schema.expected │ ├── input.ddlog │ └── print.expected ├── arrays │ ├── compile.expected │ ├── input.ddlog │ └── print.expected ├── chunking_example │ ├── compile.expected │ └── input.ddlog ├── comments │ ├── input.ddlog │ └── print.expected ├── expressions │ ├── compile.expected │ ├── input.ddlog │ └── print.expected ├── factor_functions │ ├── compile.expected │ ├── input.ddlog │ └── print.expected ├── if-then-else │ ├── compile.expected │ ├── input.ddlog │ └── print.expected ├── logical_rules │ ├── compile.expected │ ├── input.ddlog │ └── print.expected ├── many_joins │ └── input.ddlog ├── materialize_annotation │ ├── compile.expected │ └── input.ddlog ├── multibody │ └── input.ddlog ├── multiple_rules_for_same_head │ ├── compile.expected │ ├── desugar.expected │ └── input.ddlog ├── ocr_example │ ├── compile.expected │ ├── input.ddlog │ └── print.expected ├── semantics │ ├── input.ddlog │ └── print.expected ├── smoke_example │ ├── compile.expected │ ├── input.ddlog │ └── print.expected ├── spouse_example │ ├── compile.expected │ ├── input.ddlog │ └── print.expected ├── views │ ├── compile.expected │ ├── export-schema.expected │ ├── input.ddlog │ └── print.expected └── weights │ ├── compile.expected │ ├── input.ddlog │ └── print.expected ├── parse-error-test.bats.template ├── parse-error-test ├── annotation_semantics │ ├── input.ddlog │ └── parse-error.expected └── nested_multiline_comments │ ├── input.ddlog │ └── parse-error.expected ├── query-test.bats.template └── query-test └── spouse_example ├── app.ddlog ├── article_ids-filtered.ddlogq ├── article_ids-filtered.ddlogq.expected ├── article_ids-ordered-revsered.ddlogq ├── article_ids-ordered-revsered.ddlogq.expected ├── article_ids-ordered-revsered2.ddlogq ├── article_ids-ordered-revsered2.ddlogq.expected ├── article_ids-ordered.ddlogq ├── article_ids-ordered.ddlogq.expected ├── article_ids-parens.ddlogq ├── article_ids-parens.ddlogq.expected ├── article_ids-without_parens.ddlogq ├── article_ids-without_parens.ddlogq.expected ├── article_ids.ddlogq ├── article_ids.ddlogq.expected ├── count-has_spouse.ddlogq ├── count-has_spouse.ddlogq.expected ├── histogram-num_candidates-per-article-ordered.ddlogq ├── histogram-num_candidates-per-article-ordered.ddlogq.expected ├── histogram-num_candidates-per-article-ordered_multikey.ddlogq ├── histogram-num_candidates-per-article-ordered_multikey.ddlogq.expected ├── histogram-num_candidates-per-article.ddlogq ├── histogram-num_candidates-per-article.ddlogq.expected ├── histogram-supervision.ddlogq ├── histogram-supervision.ddlogq.expected ├── incomplete.ddlogq ├── incomplete.ddlogq-error.expected ├── redefinition.ddlogq ├── redefinition.ddlogq-error.expected ├── repeated-vars.ddlogq ├── repeated-vars.ddlogq.expected ├── schema-check.ddlogq ├── schema-check.ddlogq-error.expected ├── undefined.ddlogq ├── undefined.ddlogq-error.expected ├── union-no-common-vars.ddlogq ├── union-no-common-vars.ddlogq.expected ├── union.ddlogq └── union.ddlogq.expected /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/.gitmodules -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/.travis.yml -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/README.md -------------------------------------------------------------------------------- /examples/chunking.ddlog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/examples/chunking.ddlog -------------------------------------------------------------------------------- /examples/ocr.ddlog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/examples/ocr.ddlog -------------------------------------------------------------------------------- /examples/smoke.ddlog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/examples/smoke.ddlog -------------------------------------------------------------------------------- /examples/spouse_example.ddlog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/examples/spouse_example.ddlog -------------------------------------------------------------------------------- /project/assembly.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/project/assembly.sbt -------------------------------------------------------------------------------- /project/build.properties: -------------------------------------------------------------------------------- 1 | sbt.version=0.13.7 2 | -------------------------------------------------------------------------------- /project/build.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/project/build.sbt -------------------------------------------------------------------------------- /project/sbt/sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/project/sbt/sbt -------------------------------------------------------------------------------- /project/sbt/sbt-launch.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/project/sbt/sbt-launch.jar -------------------------------------------------------------------------------- /scala.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/scala.mk -------------------------------------------------------------------------------- /src/main/scala/org/deepdive/ddlog/DeepDiveLog.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/src/main/scala/org/deepdive/ddlog/DeepDiveLog.scala -------------------------------------------------------------------------------- /src/main/scala/org/deepdive/ddlog/DeepDiveLogCompiler.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/src/main/scala/org/deepdive/ddlog/DeepDiveLogCompiler.scala -------------------------------------------------------------------------------- /src/main/scala/org/deepdive/ddlog/DeepDiveLogDesugarRewriter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/src/main/scala/org/deepdive/ddlog/DeepDiveLogDesugarRewriter.scala -------------------------------------------------------------------------------- /src/main/scala/org/deepdive/ddlog/DeepDiveLogParser.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/src/main/scala/org/deepdive/ddlog/DeepDiveLogParser.scala -------------------------------------------------------------------------------- /src/main/scala/org/deepdive/ddlog/DeepDiveLogPrettyPrinter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/src/main/scala/org/deepdive/ddlog/DeepDiveLogPrettyPrinter.scala -------------------------------------------------------------------------------- /src/main/scala/org/deepdive/ddlog/DeepDiveLogQueryCompiler.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/src/main/scala/org/deepdive/ddlog/DeepDiveLogQueryCompiler.scala -------------------------------------------------------------------------------- /src/main/scala/org/deepdive/ddlog/DeepDiveLogSchemaExporter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/src/main/scala/org/deepdive/ddlog/DeepDiveLogSchemaExporter.scala -------------------------------------------------------------------------------- /src/main/scala/org/deepdive/ddlog/DeepDiveLogSemanticChecker.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/src/main/scala/org/deepdive/ddlog/DeepDiveLogSemanticChecker.scala -------------------------------------------------------------------------------- /test/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/README.md -------------------------------------------------------------------------------- /test/bats-template.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/bats-template.bash -------------------------------------------------------------------------------- /test/bats.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/bats.mk -------------------------------------------------------------------------------- /test/checker-test.bats.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/checker-test.bats.template -------------------------------------------------------------------------------- /test/checker-test/supervision_binary_variable/input.ddlog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/checker-test/supervision_binary_variable/input.ddlog -------------------------------------------------------------------------------- /test/checker-test/supervision_multinomial/input.ddlog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/checker-test/supervision_multinomial/input.ddlog -------------------------------------------------------------------------------- /test/checker-test/supervision_with_undeclared_relation/input.ddlog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/checker-test/supervision_with_undeclared_relation/input.ddlog -------------------------------------------------------------------------------- /test/compile-error-test.bats.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/compile-error-test.bats.template -------------------------------------------------------------------------------- /test/compile-error-test/column_dismatch/compile-error.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/compile-error-test/column_dismatch/compile-error.expected -------------------------------------------------------------------------------- /test/compile-error-test/column_dismatch/input.ddlog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/compile-error-test/column_dismatch/input.ddlog -------------------------------------------------------------------------------- /test/compile-error-test/composing_boolean_categorical_vars/compile-error.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/compile-error-test/composing_boolean_categorical_vars/compile-error.expected -------------------------------------------------------------------------------- /test/compile-error-test/composing_boolean_categorical_vars/input.ddlog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/compile-error-test/composing_boolean_categorical_vars/input.ddlog -------------------------------------------------------------------------------- /test/compile-error-test/invalid_variable_schema/compile-error.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/compile-error-test/invalid_variable_schema/compile-error.expected -------------------------------------------------------------------------------- /test/compile-error-test/invalid_variable_schema/input.ddlog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/compile-error-test/invalid_variable_schema/input.ddlog -------------------------------------------------------------------------------- /test/compile-error-test/optional_modifier/compile-error.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/compile-error-test/optional_modifier/compile-error.expected -------------------------------------------------------------------------------- /test/compile-error-test/optional_modifier/input.ddlog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/compile-error-test/optional_modifier/input.ddlog -------------------------------------------------------------------------------- /test/compile-error-test/repated_rule_name/compile-error.expected: -------------------------------------------------------------------------------- 1 | [error] @name("foo") repeated 2 times 2 | -------------------------------------------------------------------------------- /test/compile-error-test/repated_rule_name/input.ddlog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/compile-error-test/repated_rule_name/input.ddlog -------------------------------------------------------------------------------- /test/compile-error-test/unbound_variable_1/compile-error.expected: -------------------------------------------------------------------------------- 1 | [error] Variable y must have bindings 2 | Q(y) :- 3 | a(x). 4 | 5 | -------------------------------------------------------------------------------- /test/compile-error-test/unbound_variable_1/input.ddlog: -------------------------------------------------------------------------------- 1 | a(k int). 2 | 3 | Q(y) :- a(x). -------------------------------------------------------------------------------- /test/compile-error-test/unbound_variable_2/compile-error.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/compile-error-test/unbound_variable_2/compile-error.expected -------------------------------------------------------------------------------- /test/compile-error-test/unbound_variable_2/input.ddlog: -------------------------------------------------------------------------------- 1 | a(k int). 2 | 3 | Q(y) :- a(y), x > 100. -------------------------------------------------------------------------------- /test/compile-error-test/unbound_variable_3/compile-error.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/compile-error-test/unbound_variable_3/compile-error.expected -------------------------------------------------------------------------------- /test/compile-error-test/unbound_variable_3/input.ddlog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/compile-error-test/unbound_variable_3/input.ddlog -------------------------------------------------------------------------------- /test/compile-error-test/unbound_variable_4/compile-error.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/compile-error-test/unbound_variable_4/compile-error.expected -------------------------------------------------------------------------------- /test/compile-error-test/unbound_variable_4/input.ddlog: -------------------------------------------------------------------------------- 1 | a(k int). 2 | 3 | Q(y,z) :- a(x). 4 | -------------------------------------------------------------------------------- /test/compile-error-test/unbound_variable_5/compile-error.expected: -------------------------------------------------------------------------------- 1 | [error] Variable z must have bindings 2 | @weight(z) 3 | b(x) => b(y) :- 4 | x < y. 5 | 6 | -------------------------------------------------------------------------------- /test/compile-error-test/unbound_variable_5/input.ddlog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/compile-error-test/unbound_variable_5/input.ddlog -------------------------------------------------------------------------------- /test/compile-error-test/undefined_function/compile-error.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/compile-error-test/undefined_function/compile-error.expected -------------------------------------------------------------------------------- /test/compile-error-test/undefined_function/input.ddlog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/compile-error-test/undefined_function/input.ddlog -------------------------------------------------------------------------------- /test/compile-error-test/undefined_relation/compile-error.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/compile-error-test/undefined_relation/compile-error.expected -------------------------------------------------------------------------------- /test/compile-error-test/undefined_relation/input.ddlog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/compile-error-test/undefined_relation/input.ddlog -------------------------------------------------------------------------------- /test/compile-error-test/undefined_relation_2/compile-error.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/compile-error-test/undefined_relation_2/compile-error.expected -------------------------------------------------------------------------------- /test/compile-error-test/undefined_relation_2/input.ddlog: -------------------------------------------------------------------------------- 1 | a(k int). 2 | 3 | @weight(1) 4 | Q(x) :- a(x). -------------------------------------------------------------------------------- /test/compile-error-test/weight/compile-error.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/compile-error-test/weight/compile-error.expected -------------------------------------------------------------------------------- /test/compile-error-test/weight/input.ddlog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/compile-error-test/weight/input.ddlog -------------------------------------------------------------------------------- /test/ddlog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/ddlog -------------------------------------------------------------------------------- /test/enumerate-tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/enumerate-tests.sh -------------------------------------------------------------------------------- /test/expected-output-test.bats.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test.bats.template -------------------------------------------------------------------------------- /test/expected-output-test/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test/README.md -------------------------------------------------------------------------------- /test/expected-output-test/annotations/export-schema.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test/annotations/export-schema.expected -------------------------------------------------------------------------------- /test/expected-output-test/annotations/input.ddlog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test/annotations/input.ddlog -------------------------------------------------------------------------------- /test/expected-output-test/annotations/print.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test/annotations/print.expected -------------------------------------------------------------------------------- /test/expected-output-test/arrays/compile.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test/arrays/compile.expected -------------------------------------------------------------------------------- /test/expected-output-test/arrays/input.ddlog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test/arrays/input.ddlog -------------------------------------------------------------------------------- /test/expected-output-test/arrays/print.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test/arrays/print.expected -------------------------------------------------------------------------------- /test/expected-output-test/chunking_example/compile.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test/chunking_example/compile.expected -------------------------------------------------------------------------------- /test/expected-output-test/chunking_example/input.ddlog: -------------------------------------------------------------------------------- 1 | ../../../examples/chunking.ddlog -------------------------------------------------------------------------------- /test/expected-output-test/comments/input.ddlog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test/comments/input.ddlog -------------------------------------------------------------------------------- /test/expected-output-test/comments/print.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test/comments/print.expected -------------------------------------------------------------------------------- /test/expected-output-test/expressions/compile.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test/expressions/compile.expected -------------------------------------------------------------------------------- /test/expected-output-test/expressions/input.ddlog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test/expressions/input.ddlog -------------------------------------------------------------------------------- /test/expected-output-test/expressions/print.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test/expressions/print.expected -------------------------------------------------------------------------------- /test/expected-output-test/factor_functions/compile.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test/factor_functions/compile.expected -------------------------------------------------------------------------------- /test/expected-output-test/factor_functions/input.ddlog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test/factor_functions/input.ddlog -------------------------------------------------------------------------------- /test/expected-output-test/factor_functions/print.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test/factor_functions/print.expected -------------------------------------------------------------------------------- /test/expected-output-test/if-then-else/compile.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test/if-then-else/compile.expected -------------------------------------------------------------------------------- /test/expected-output-test/if-then-else/input.ddlog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test/if-then-else/input.ddlog -------------------------------------------------------------------------------- /test/expected-output-test/if-then-else/print.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test/if-then-else/print.expected -------------------------------------------------------------------------------- /test/expected-output-test/logical_rules/compile.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test/logical_rules/compile.expected -------------------------------------------------------------------------------- /test/expected-output-test/logical_rules/input.ddlog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test/logical_rules/input.ddlog -------------------------------------------------------------------------------- /test/expected-output-test/logical_rules/print.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test/logical_rules/print.expected -------------------------------------------------------------------------------- /test/expected-output-test/many_joins/input.ddlog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test/many_joins/input.ddlog -------------------------------------------------------------------------------- /test/expected-output-test/materialize_annotation/compile.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test/materialize_annotation/compile.expected -------------------------------------------------------------------------------- /test/expected-output-test/materialize_annotation/input.ddlog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test/materialize_annotation/input.ddlog -------------------------------------------------------------------------------- /test/expected-output-test/multibody/input.ddlog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test/multibody/input.ddlog -------------------------------------------------------------------------------- /test/expected-output-test/multiple_rules_for_same_head/compile.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test/multiple_rules_for_same_head/compile.expected -------------------------------------------------------------------------------- /test/expected-output-test/multiple_rules_for_same_head/desugar.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test/multiple_rules_for_same_head/desugar.expected -------------------------------------------------------------------------------- /test/expected-output-test/multiple_rules_for_same_head/input.ddlog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test/multiple_rules_for_same_head/input.ddlog -------------------------------------------------------------------------------- /test/expected-output-test/ocr_example/compile.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test/ocr_example/compile.expected -------------------------------------------------------------------------------- /test/expected-output-test/ocr_example/input.ddlog: -------------------------------------------------------------------------------- 1 | ../../../examples/ocr.ddlog -------------------------------------------------------------------------------- /test/expected-output-test/ocr_example/print.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test/ocr_example/print.expected -------------------------------------------------------------------------------- /test/expected-output-test/semantics/input.ddlog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test/semantics/input.ddlog -------------------------------------------------------------------------------- /test/expected-output-test/semantics/print.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test/semantics/print.expected -------------------------------------------------------------------------------- /test/expected-output-test/smoke_example/compile.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test/smoke_example/compile.expected -------------------------------------------------------------------------------- /test/expected-output-test/smoke_example/input.ddlog: -------------------------------------------------------------------------------- 1 | ../../../examples/smoke.ddlog -------------------------------------------------------------------------------- /test/expected-output-test/smoke_example/print.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test/smoke_example/print.expected -------------------------------------------------------------------------------- /test/expected-output-test/spouse_example/compile.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test/spouse_example/compile.expected -------------------------------------------------------------------------------- /test/expected-output-test/spouse_example/input.ddlog: -------------------------------------------------------------------------------- 1 | ../../../examples/spouse_example.ddlog -------------------------------------------------------------------------------- /test/expected-output-test/spouse_example/print.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test/spouse_example/print.expected -------------------------------------------------------------------------------- /test/expected-output-test/views/compile.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test/views/compile.expected -------------------------------------------------------------------------------- /test/expected-output-test/views/export-schema.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test/views/export-schema.expected -------------------------------------------------------------------------------- /test/expected-output-test/views/input.ddlog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test/views/input.ddlog -------------------------------------------------------------------------------- /test/expected-output-test/views/print.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test/views/print.expected -------------------------------------------------------------------------------- /test/expected-output-test/weights/compile.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test/weights/compile.expected -------------------------------------------------------------------------------- /test/expected-output-test/weights/input.ddlog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test/weights/input.ddlog -------------------------------------------------------------------------------- /test/expected-output-test/weights/print.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/expected-output-test/weights/print.expected -------------------------------------------------------------------------------- /test/parse-error-test.bats.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/parse-error-test.bats.template -------------------------------------------------------------------------------- /test/parse-error-test/annotation_semantics/input.ddlog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/parse-error-test/annotation_semantics/input.ddlog -------------------------------------------------------------------------------- /test/parse-error-test/annotation_semantics/parse-error.expected: -------------------------------------------------------------------------------- 1 | [error] unknown: unrecognized @semantics value 2 | -------------------------------------------------------------------------------- /test/parse-error-test/nested_multiline_comments/input.ddlog: -------------------------------------------------------------------------------- 1 | /* Multi-line comments are not supported */ 2 | -------------------------------------------------------------------------------- /test/parse-error-test/nested_multiline_comments/parse-error.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/parse-error-test/nested_multiline_comments/parse-error.expected -------------------------------------------------------------------------------- /test/query-test.bats.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/query-test.bats.template -------------------------------------------------------------------------------- /test/query-test/spouse_example/app.ddlog: -------------------------------------------------------------------------------- 1 | ../../../examples/spouse_example.ddlog -------------------------------------------------------------------------------- /test/query-test/spouse_example/article_ids-filtered.ddlogq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/query-test/spouse_example/article_ids-filtered.ddlogq -------------------------------------------------------------------------------- /test/query-test/spouse_example/article_ids-filtered.ddlogq.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/query-test/spouse_example/article_ids-filtered.ddlogq.expected -------------------------------------------------------------------------------- /test/query-test/spouse_example/article_ids-ordered-revsered.ddlogq: -------------------------------------------------------------------------------- 1 | @order_by(dir="DESC") id ?- articles(id, _). 2 | -------------------------------------------------------------------------------- /test/query-test/spouse_example/article_ids-ordered-revsered.ddlogq.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/query-test/spouse_example/article_ids-ordered-revsered.ddlogq.expected -------------------------------------------------------------------------------- /test/query-test/spouse_example/article_ids-ordered-revsered2.ddlogq: -------------------------------------------------------------------------------- 1 | @order_by("DESC") id ?- articles(id, _). 2 | -------------------------------------------------------------------------------- /test/query-test/spouse_example/article_ids-ordered-revsered2.ddlogq.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/query-test/spouse_example/article_ids-ordered-revsered2.ddlogq.expected -------------------------------------------------------------------------------- /test/query-test/spouse_example/article_ids-ordered.ddlogq: -------------------------------------------------------------------------------- 1 | @order_by id ?- articles(id, _). 2 | -------------------------------------------------------------------------------- /test/query-test/spouse_example/article_ids-ordered.ddlogq.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/query-test/spouse_example/article_ids-ordered.ddlogq.expected -------------------------------------------------------------------------------- /test/query-test/spouse_example/article_ids-parens.ddlogq: -------------------------------------------------------------------------------- 1 | (id) ?- articles(id, _). 2 | -------------------------------------------------------------------------------- /test/query-test/spouse_example/article_ids-parens.ddlogq.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/query-test/spouse_example/article_ids-parens.ddlogq.expected -------------------------------------------------------------------------------- /test/query-test/spouse_example/article_ids-without_parens.ddlogq: -------------------------------------------------------------------------------- 1 | id ?- articles(id, _). 2 | -------------------------------------------------------------------------------- /test/query-test/spouse_example/article_ids-without_parens.ddlogq.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/query-test/spouse_example/article_ids-without_parens.ddlogq.expected -------------------------------------------------------------------------------- /test/query-test/spouse_example/article_ids.ddlogq: -------------------------------------------------------------------------------- 1 | ?- articles(id, _). 2 | -------------------------------------------------------------------------------- /test/query-test/spouse_example/article_ids.ddlogq.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/query-test/spouse_example/article_ids.ddlogq.expected -------------------------------------------------------------------------------- /test/query-test/spouse_example/count-has_spouse.ddlogq: -------------------------------------------------------------------------------- 1 | COUNT(r) ?- has_spouse(r). 2 | -------------------------------------------------------------------------------- /test/query-test/spouse_example/count-has_spouse.ddlogq.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/query-test/spouse_example/count-has_spouse.ddlogq.expected -------------------------------------------------------------------------------- /test/query-test/spouse_example/histogram-num_candidates-per-article-ordered.ddlogq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/query-test/spouse_example/histogram-num_candidates-per-article-ordered.ddlogq -------------------------------------------------------------------------------- /test/query-test/spouse_example/histogram-num_candidates-per-article-ordered.ddlogq.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/query-test/spouse_example/histogram-num_candidates-per-article-ordered.ddlogq.expected -------------------------------------------------------------------------------- /test/query-test/spouse_example/histogram-num_candidates-per-article-ordered_multikey.ddlogq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/query-test/spouse_example/histogram-num_candidates-per-article-ordered_multikey.ddlogq -------------------------------------------------------------------------------- /test/query-test/spouse_example/histogram-num_candidates-per-article-ordered_multikey.ddlogq.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/query-test/spouse_example/histogram-num_candidates-per-article-ordered_multikey.ddlogq.expected -------------------------------------------------------------------------------- /test/query-test/spouse_example/histogram-num_candidates-per-article.ddlogq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/query-test/spouse_example/histogram-num_candidates-per-article.ddlogq -------------------------------------------------------------------------------- /test/query-test/spouse_example/histogram-num_candidates-per-article.ddlogq.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/query-test/spouse_example/histogram-num_candidates-per-article.ddlogq.expected -------------------------------------------------------------------------------- /test/query-test/spouse_example/histogram-supervision.ddlogq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/query-test/spouse_example/histogram-supervision.ddlogq -------------------------------------------------------------------------------- /test/query-test/spouse_example/histogram-supervision.ddlogq.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/query-test/spouse_example/histogram-supervision.ddlogq.expected -------------------------------------------------------------------------------- /test/query-test/spouse_example/incomplete.ddlogq: -------------------------------------------------------------------------------- 1 | ?- foo 2 | -------------------------------------------------------------------------------- /test/query-test/spouse_example/incomplete.ddlogq-error.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/query-test/spouse_example/incomplete.ddlogq-error.expected -------------------------------------------------------------------------------- /test/query-test/spouse_example/redefinition.ddlogq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/query-test/spouse_example/redefinition.ddlogq -------------------------------------------------------------------------------- /test/query-test/spouse_example/redefinition.ddlogq-error.expected: -------------------------------------------------------------------------------- 1 | [error] Following relations must not be redefined: 'has_spouse' 2 | -------------------------------------------------------------------------------- /test/query-test/spouse_example/repeated-vars.ddlogq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/query-test/spouse_example/repeated-vars.ddlogq -------------------------------------------------------------------------------- /test/query-test/spouse_example/repeated-vars.ddlogq.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/query-test/spouse_example/repeated-vars.ddlogq.expected -------------------------------------------------------------------------------- /test/query-test/spouse_example/schema-check.ddlogq: -------------------------------------------------------------------------------- 1 | ?- articles(id). 2 | -------------------------------------------------------------------------------- /test/query-test/spouse_example/schema-check.ddlogq-error.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/query-test/spouse_example/schema-check.ddlogq-error.expected -------------------------------------------------------------------------------- /test/query-test/spouse_example/undefined.ddlogq: -------------------------------------------------------------------------------- 1 | ?- nonexistent(foo,_,bar,_,_). 2 | -------------------------------------------------------------------------------- /test/query-test/spouse_example/undefined.ddlogq-error.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/query-test/spouse_example/undefined.ddlogq-error.expected -------------------------------------------------------------------------------- /test/query-test/spouse_example/union-no-common-vars.ddlogq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/query-test/spouse_example/union-no-common-vars.ddlogq -------------------------------------------------------------------------------- /test/query-test/spouse_example/union-no-common-vars.ddlogq.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/query-test/spouse_example/union-no-common-vars.ddlogq.expected -------------------------------------------------------------------------------- /test/query-test/spouse_example/union.ddlogq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/query-test/spouse_example/union.ddlogq -------------------------------------------------------------------------------- /test/query-test/spouse_example/union.ddlogq.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HazyResearch/ddlog/HEAD/test/query-test/spouse_example/union.ddlogq.expected --------------------------------------------------------------------------------