9 lines
218 B
Plaintext
9 lines
218 B
Plaintext
|
# Filter rows through the SQL frontend with named columns.
|
||
|
|
|
||
|
|
fact Parent(alice, bob).
|
||
|
|
fact Parent(bob, carol).
|
||
|
|
fact Parent(carol, dave).
|
||
|
|
|
||
|
|
schema Parent(parent, child).
|
||
|
|
sql SELECT parent FROM Parent WHERE child = 'bob';
|