Permalink
Fetching contributors…
Cannot retrieve contributors at this time
26 lines (20 sloc) 380 Bytes
person (
person_id bigint,
name text
).
person_has_cancer? (
person_id bigint
).
person_smokes? (
person_id bigint
).
friends (
person_id bigint,
friend_id bigint
).
@weight(0.5)
person_smokes(p) => person_has_cancer(p) :-
person(p, _).
@weight(0.4)
person_smokes(p1) => person_smokes(p2) :-
person(p1, _), person(p2, _), friends(p1, p2).