12 lines
243 B
Plaintext
12 lines
243 B
Plaintext
|
# Query people who share a manager.
|
||
|
|
|
||
|
|
fact ManagedBy(alice, eve).
|
||
|
|
fact ManagedBy(bob, eve).
|
||
|
|
fact ManagedBy(carol, frank).
|
||
|
|
|
||
|
|
rule ManagedBy(?X, ?M), ManagedBy(?Y, ?M) -> SameTeam(?X, ?Y).
|
||
|
|
|
||
|
|
run.
|
||
|
|
query SameTeam(?X, ?Y)?
|
||
|
|
query SameTeam(alice, bob)?
|