diff options
Diffstat (limited to 'examples/#family.sol#')
| -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 |