died(smith_jon) :- 20060211. age(smith_jon) :- 82. # Some magic for date and timespan conversion is missing here! year_born(X) :- died(X) - age(X). ?year_born(smith_jon)