preview

Notes On Predicate Calculus Solution

Decent Essays

Predicate calculus solution:
Maurice, Gettis, Bud, Ernie, Tim, Ed, Marc and Greg are males: male(maurice) ^ male(gettis) ^ male(bud) ^ male(ernie) ^ male(tim) ^ male(ed) ^ male(marc) ^ male(greg)

Valerie, Viola, Celeta, Lila, Jill, Allison, Maria, Megan and Elise are females: female(valerie) ^ female(viola) ^ female(celeta) ^ female(lila) ^ female(jill) ^ female(allison) ^ female(maria) ^ female(megan) ^ female(elise)

Maurice is married to Valerie, Gettis is married to Viola, Bud is married to Celeta, Ernie is married to Lila, Maria is married to Ed, Tim is married to Jill and Greg is married to Allison: married(maurice, valerie) ^ married(gettis, viola) ^ married(bud, celeta) ^ married(ernie, lila) ^ married(maria, ed) ^ married(tim, …show more content…

male(gettis). male(bud). male(ernie). male(tim). male(ed). male(marc). male(greg).

/* ?- male(ernie). true ?- male(maria). false ?- male(tralala). true ?-
*/

female(valerie). female(viola). female(celeta). female(lila). female(jill). female(allison). female(maria). female(megan). female(elise).

/* 1 ?- female(lila). true. 2 ?- female(noname). false. 3 ?- female(mano). false. 4 ?-

*/

married(maurice, valerie). married(gettis, viola). married(bud, celeta).

Get Access