Prolog
PART II - Male-Female
| << Previous | Main | Next >> |
Example #1: Male-Female
| female[X]:-person[X]*~male[X]. person[john]. person[mary]. male[john]. |
Resolution Trace for Example #1:
| female[X] | person[X] | ~male[X] |
| female[A] | ||
| person[A] | ||
| A=john | ||
| ~male[john] | ||
| FALSE | ||
| person[A] (#2) | ||
| A=mary | ||
| ~male[mary] | ||
| TRUE | ||
| >>_female[mary] | ||
| ~male[mary] (#2) | ||
| FALSE | ||
| person[A] (#3) | ||
| FALSE | ||
| female[A] (#2) | ||
| FALSE | ||
| <<_female[mary] | ||
| >>female[mary] | ||
<Under Construction>
| << Previous | Main | Next >> |
Next: Get-Want