diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-07-23 01:14:26 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-07-23 01:14:26 -0300 |
| commit | 1dbc5220b40605457ce590dc7aabb67bae9cd342 (patch) | |
| tree | fd9935ab76ca0ce60349b6b204b0bdcef3a41dd8 /examples | |
| parent | 8552b2e362b0b649a6236d4b670e7a5e2cf586e2 (diff) | |
| download | SOL-1dbc5220b40605457ce590dc7aabb67bae9cd342.tar.gz SOL-1dbc5220b40605457ce590dc7aabb67bae9cd342.zip | |
Diffstat (limited to '')
| -rw-r--r-- | examples/#family.sol# | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/examples/#family.sol# b/examples/#family.sol# deleted file mode 100644 index 200b0af..0000000 --- a/examples/#family.sol# +++ /dev/null @@ -1,29 +0,0 @@ -% Relations, facts, rules, joins and negation. - -Relation named: Person schema: #( - [name domain: String] - [age domain: Integer] -) - -[Person name: "Marcos" age: 30] -[Person name: "Ana" age: 12] -[Person name: "Rui" age: 70] - -Rule name: "an adult is a person of age at least 18" - head: [Adult name: N] - body: [Person name: N age: A] :and - [GreaterEqual left: A right: 18] - -% Everyone stored. -Query expression: [Person name: N age: A] - -% The rule, joined through the shared variable N. -Query expression: [Adult name: N] - -% Decidable denial: people who are not adults. -Query expression: ([Person name: N age: A]) :not [Adult name: N] - -% The specification's negation form, scoped by the universe. -Query expression: [World] :not [Adult name: "Ana"] - -World
\ No newline at end of file |