/* * Filename: mc4.pro (marriage counsellor 4) * * Programmer: Br. David Carlson * * Date of creation: September 4, 1993 * * Revised: December 11, 1999 * * Description: * * This program is used to predict whether or not two people have * (or will have) marriage problems. Use the goal: problems(marriage). * You can also submit other goals such as problems(psychological), * problems(sexual), ... Finally, you can try goals such as * success(marriage), success(psychological), ... */ problems(marriage) :- problems(financial). problems(marriage) :- problems(sexual). problems(marriage) :- problems(communications). problems(marriage) :- problems(psychological). problems(marriage) :- problems(parental_divorce). problems(financial) :- unemployed(husband), unemployed(wife). problems(financial) :- underemployed(husband), unemployed(wife). problems(financial) :- unemployed(husband), underemployed(wife). problems(sexual) :- unfaithful(husband). problems(sexual) :- unfaithful(wife). problems(sexual) :- impotence. problems(communications) :- domineering(husband). problems(communications) :- domineering(wife). problems(communications) :- abusive(husband). problems(communications) :- abusive(wife). problems(communications) :- reticent(husband). problems(communications) :- reticent(wife). problems(psychological) :- abusive(husband). problems(psychological) :- abusive(wife). problems(psychological) :- depressed(husband). problems(psychological) :- depressed(wife). problems(parental_divorce) :- divorced_parents(husband). problems(parental_divorce) :- divorced_parents(wife). success(Area) :- not(problems(Area)). /* In the next section, fill in the data on the husband and wife to be * counselled. You need at least one entry for each predicate. */ unemployed(husband). underemployed(wife). unfaithful(X) :- fail. impotence :- fail. domineering(husband). abusive(husband). reticent(husband) :- fail. reticent(wife). depressed(X) :- fail. divorced_parents(X) :- fail.