/*-------------------------------------------------------------*/ /* "Family relationship" domain */ /*-------------------------------------------------------------*/ /* (from Quinlan, J.R. Learning logical definitions from */ /* relations. Machine Learning, 5 (1990), 239-266) */ /*-------------------------------------------------------------*/ example(husband,christopher,penelope). example(husband,andrew,christine). example(husband,arthur,margaret). example(husband,james,victoria). example(husband,charles,jennifer). example(wife,penelope,christopher). example(wife,christine,andrew). example(wife,margaret,arthur). example(wife,victoria,james). example(wife,jennifer,charles). example(mother,penelope,arthur). example(mother,penelope,victoria). example(mother,christine,james). example(mother,christine,jennifer). example(mother,victoria,colin). example(mother,victoria,charlotte). example(father,christopher,arthur). example(father,christopher,victoria). example(father,andrew,james). example(father,andrew,jennifer). example(father,james,colin). example(father,james,charlotte). example(daughter,victoria,christopher). example(daughter,victoria,penelope). example(daughter,jennifer,andrew). example(daughter,jennifer,christine). example(daughter,charlotte,james). example(daughter,charlotte,victoria). example(son,arthur,christopher). example(son,arthur,penelope). example(son,james,andrew). example(son,james,christine). example(son,colin,james). example(son,colin,victoria). example(brother,arthur,victoria). example(brother,james,jennifer). example(brother,colin,charlotte). example(sister,victoria,arthur). example(sister,jennifer,james). example(sister,charlotte,colin). example(uncle,arthur,colin). example(uncle,arthur,charlotte). example(uncle,charles,colin). example(uncle,charles,charlotte). example(aunt,margaret,colin). example(aunt,margaret,charlotte). example(aunt,jennifer,colin). example(aunt,jennifer,charlotte). example(nephew,colin,margaret). example(nephew,colin,arthur). example(nephew,colin,jennifer). example(nephew,colin,charles). example(niece,charlotte,margaret). example(niece,charlotte,arthur). example(niece,charlotte,jennifer). example(niece,charlotte,charles).