From 1dbc5220b40605457ce590dc7aabb67bae9cd342 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Thu, 23 Jul 2026 01:14:26 -0300 Subject: delete backup file --- examples/#family.sol# | 29 ----------------------------- 1 file changed, 29 deletions(-) delete mode 100644 examples/#family.sol# (limited to 'examples') 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 -- cgit v1.2.3