SlideShare a Scribd company logo
1 of 1
Download to read offline
Attempt to unify the following pairs of expressions. Either show their most general unifiers, or
explain why they will not unify. Use the {a/b} substitution form. Upper case letters are variables,
lowercase are constants. Assume all variables are universally instantiated.
a. p(X, a, Y) and p(Z, Z, b)
b. p(X, X) and p(a, b)
c. p(X, Y, Z) and p(c,d,d)
d. ancestor(X, father(X)) and ancestor(david, george)
e. p(a, X) and p(Y, Z)

More Related Content

More from AlexanderORiWallacez

Audits of financial statements are designed to obtain reasonable assur.pdf
Audits of financial statements are designed to obtain reasonable assur.pdfAudits of financial statements are designed to obtain reasonable assur.pdf
Audits of financial statements are designed to obtain reasonable assur.pdfAlexanderORiWallacez
 
attitude about performance perceived behavioral control over performan.pdf
attitude about performance perceived behavioral control over performan.pdfattitude about performance perceived behavioral control over performan.pdf
attitude about performance perceived behavioral control over performan.pdfAlexanderORiWallacez
 
atch the step number to the sequence of stages that occur during the H.pdf
atch the step number to the sequence of stages that occur during the H.pdfatch the step number to the sequence of stages that occur during the H.pdf
atch the step number to the sequence of stages that occur during the H.pdfAlexanderORiWallacez
 
Ater researching the compenhors of EMA Enterpises- you determine that.pdf
Ater researching the compenhors of EMA Enterpises- you determine that.pdfAter researching the compenhors of EMA Enterpises- you determine that.pdf
Ater researching the compenhors of EMA Enterpises- you determine that.pdfAlexanderORiWallacez
 
At the high level of activity in November- 12000 machine hours were ru.pdf
At the high level of activity in November- 12000 machine hours were ru.pdfAt the high level of activity in November- 12000 machine hours were ru.pdf
At the high level of activity in November- 12000 machine hours were ru.pdfAlexanderORiWallacez
 
At the top of each of your C++ programs- you should have at least four.pdf
At the top of each of your C++ programs- you should have at least four.pdfAt the top of each of your C++ programs- you should have at least four.pdf
At the top of each of your C++ programs- you should have at least four.pdfAlexanderORiWallacez
 
At the end of mitosis- the daughter cells are described as clones- For.pdf
At the end of mitosis- the daughter cells are described as clones- For.pdfAt the end of mitosis- the daughter cells are described as clones- For.pdf
At the end of mitosis- the daughter cells are described as clones- For.pdfAlexanderORiWallacez
 
At date t-0- the values of Nelson and Siegel parameters are as follows.pdf
At date t-0- the values of Nelson and Siegel parameters are as follows.pdfAt date t-0- the values of Nelson and Siegel parameters are as follows.pdf
At date t-0- the values of Nelson and Siegel parameters are as follows.pdfAlexanderORiWallacez
 
At Lake Allan Henry biologists from TTU discovered a lizard species ca.pdf
At Lake Allan Henry biologists from TTU discovered a lizard species ca.pdfAt Lake Allan Henry biologists from TTU discovered a lizard species ca.pdf
At Lake Allan Henry biologists from TTU discovered a lizard species ca.pdfAlexanderORiWallacez
 
Aswume that you observo the followetg rates an long tem bonds- L- S- T.pdf
Aswume that you observo the followetg rates an long tem bonds- L- S- T.pdfAswume that you observo the followetg rates an long tem bonds- L- S- T.pdf
Aswume that you observo the followetg rates an long tem bonds- L- S- T.pdfAlexanderORiWallacez
 
At May 1-2020- Oriole Company had beginning inventory consisting of 21.pdf
At May 1-2020- Oriole Company had beginning inventory consisting of 21.pdfAt May 1-2020- Oriole Company had beginning inventory consisting of 21.pdf
At May 1-2020- Oriole Company had beginning inventory consisting of 21.pdfAlexanderORiWallacez
 
At an awards ceremony- 5 women and 4 men are each to receive an award.pdf
At an awards ceremony- 5 women and 4 men are each to receive an award.pdfAt an awards ceremony- 5 women and 4 men are each to receive an award.pdf
At an awards ceremony- 5 women and 4 men are each to receive an award.pdfAlexanderORiWallacez
 
At 7-3 percent interest- how long does it take to double your money- T.pdf
At 7-3 percent interest- how long does it take to double your money- T.pdfAt 7-3 percent interest- how long does it take to double your money- T.pdf
At 7-3 percent interest- how long does it take to double your money- T.pdfAlexanderORiWallacez
 
astion list iCrick the ieon to viaw the adeusted irial talence) Questi.pdf
astion list iCrick the ieon to viaw the adeusted irial talence) Questi.pdfastion list iCrick the ieon to viaw the adeusted irial talence) Questi.pdf
astion list iCrick the ieon to viaw the adeusted irial talence) Questi.pdfAlexanderORiWallacez
 
Assuming no do-nothing alternative- which alternative would you select.pdf
Assuming no do-nothing alternative- which alternative would you select.pdfAssuming no do-nothing alternative- which alternative would you select.pdf
Assuming no do-nothing alternative- which alternative would you select.pdfAlexanderORiWallacez
 
Assuming no other deferred tax items exist in a particular year- a net.pdf
Assuming no other deferred tax items exist in a particular year- a net.pdfAssuming no other deferred tax items exist in a particular year- a net.pdf
Assuming no other deferred tax items exist in a particular year- a net.pdfAlexanderORiWallacez
 
Assuming a cryptocurrency has a total supply of 1-000-000 coins and a.pdf
Assuming a cryptocurrency has a total supply of 1-000-000 coins and a.pdfAssuming a cryptocurrency has a total supply of 1-000-000 coins and a.pdf
Assuming a cryptocurrency has a total supply of 1-000-000 coins and a.pdfAlexanderORiWallacez
 
Assume you have the following network- The middle is the Internet- IP1.pdf
Assume you have the following network- The middle is the Internet- IP1.pdfAssume you have the following network- The middle is the Internet- IP1.pdf
Assume you have the following network- The middle is the Internet- IP1.pdfAlexanderORiWallacez
 
Assume you have a file called digits-txt containing all the digits fro.pdf
Assume you have a file called digits-txt containing all the digits fro.pdfAssume you have a file called digits-txt containing all the digits fro.pdf
Assume you have a file called digits-txt containing all the digits fro.pdfAlexanderORiWallacez
 

More from AlexanderORiWallacez (19)

Audits of financial statements are designed to obtain reasonable assur.pdf
Audits of financial statements are designed to obtain reasonable assur.pdfAudits of financial statements are designed to obtain reasonable assur.pdf
Audits of financial statements are designed to obtain reasonable assur.pdf
 
attitude about performance perceived behavioral control over performan.pdf
attitude about performance perceived behavioral control over performan.pdfattitude about performance perceived behavioral control over performan.pdf
attitude about performance perceived behavioral control over performan.pdf
 
atch the step number to the sequence of stages that occur during the H.pdf
atch the step number to the sequence of stages that occur during the H.pdfatch the step number to the sequence of stages that occur during the H.pdf
atch the step number to the sequence of stages that occur during the H.pdf
 
Ater researching the compenhors of EMA Enterpises- you determine that.pdf
Ater researching the compenhors of EMA Enterpises- you determine that.pdfAter researching the compenhors of EMA Enterpises- you determine that.pdf
Ater researching the compenhors of EMA Enterpises- you determine that.pdf
 
At the high level of activity in November- 12000 machine hours were ru.pdf
At the high level of activity in November- 12000 machine hours were ru.pdfAt the high level of activity in November- 12000 machine hours were ru.pdf
At the high level of activity in November- 12000 machine hours were ru.pdf
 
At the top of each of your C++ programs- you should have at least four.pdf
At the top of each of your C++ programs- you should have at least four.pdfAt the top of each of your C++ programs- you should have at least four.pdf
At the top of each of your C++ programs- you should have at least four.pdf
 
At the end of mitosis- the daughter cells are described as clones- For.pdf
At the end of mitosis- the daughter cells are described as clones- For.pdfAt the end of mitosis- the daughter cells are described as clones- For.pdf
At the end of mitosis- the daughter cells are described as clones- For.pdf
 
At date t-0- the values of Nelson and Siegel parameters are as follows.pdf
At date t-0- the values of Nelson and Siegel parameters are as follows.pdfAt date t-0- the values of Nelson and Siegel parameters are as follows.pdf
At date t-0- the values of Nelson and Siegel parameters are as follows.pdf
 
At Lake Allan Henry biologists from TTU discovered a lizard species ca.pdf
At Lake Allan Henry biologists from TTU discovered a lizard species ca.pdfAt Lake Allan Henry biologists from TTU discovered a lizard species ca.pdf
At Lake Allan Henry biologists from TTU discovered a lizard species ca.pdf
 
Aswume that you observo the followetg rates an long tem bonds- L- S- T.pdf
Aswume that you observo the followetg rates an long tem bonds- L- S- T.pdfAswume that you observo the followetg rates an long tem bonds- L- S- T.pdf
Aswume that you observo the followetg rates an long tem bonds- L- S- T.pdf
 
At May 1-2020- Oriole Company had beginning inventory consisting of 21.pdf
At May 1-2020- Oriole Company had beginning inventory consisting of 21.pdfAt May 1-2020- Oriole Company had beginning inventory consisting of 21.pdf
At May 1-2020- Oriole Company had beginning inventory consisting of 21.pdf
 
At an awards ceremony- 5 women and 4 men are each to receive an award.pdf
At an awards ceremony- 5 women and 4 men are each to receive an award.pdfAt an awards ceremony- 5 women and 4 men are each to receive an award.pdf
At an awards ceremony- 5 women and 4 men are each to receive an award.pdf
 
At 7-3 percent interest- how long does it take to double your money- T.pdf
At 7-3 percent interest- how long does it take to double your money- T.pdfAt 7-3 percent interest- how long does it take to double your money- T.pdf
At 7-3 percent interest- how long does it take to double your money- T.pdf
 
astion list iCrick the ieon to viaw the adeusted irial talence) Questi.pdf
astion list iCrick the ieon to viaw the adeusted irial talence) Questi.pdfastion list iCrick the ieon to viaw the adeusted irial talence) Questi.pdf
astion list iCrick the ieon to viaw the adeusted irial talence) Questi.pdf
 
Assuming no do-nothing alternative- which alternative would you select.pdf
Assuming no do-nothing alternative- which alternative would you select.pdfAssuming no do-nothing alternative- which alternative would you select.pdf
Assuming no do-nothing alternative- which alternative would you select.pdf
 
Assuming no other deferred tax items exist in a particular year- a net.pdf
Assuming no other deferred tax items exist in a particular year- a net.pdfAssuming no other deferred tax items exist in a particular year- a net.pdf
Assuming no other deferred tax items exist in a particular year- a net.pdf
 
Assuming a cryptocurrency has a total supply of 1-000-000 coins and a.pdf
Assuming a cryptocurrency has a total supply of 1-000-000 coins and a.pdfAssuming a cryptocurrency has a total supply of 1-000-000 coins and a.pdf
Assuming a cryptocurrency has a total supply of 1-000-000 coins and a.pdf
 
Assume you have the following network- The middle is the Internet- IP1.pdf
Assume you have the following network- The middle is the Internet- IP1.pdfAssume you have the following network- The middle is the Internet- IP1.pdf
Assume you have the following network- The middle is the Internet- IP1.pdf
 
Assume you have a file called digits-txt containing all the digits fro.pdf
Assume you have a file called digits-txt containing all the digits fro.pdfAssume you have a file called digits-txt containing all the digits fro.pdf
Assume you have a file called digits-txt containing all the digits fro.pdf
 

Recently uploaded

POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptxPOINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptxSayali Powar
 
_Math 4-Q4 Week 5.pptx Steps in Collecting Data
_Math 4-Q4 Week 5.pptx Steps in Collecting Data_Math 4-Q4 Week 5.pptx Steps in Collecting Data
_Math 4-Q4 Week 5.pptx Steps in Collecting DataJhengPantaleon
 
mini mental status format.docx
mini    mental       status     format.docxmini    mental       status     format.docx
mini mental status format.docxPoojaSen20
 
Arihant handbook biology for class 11 .pdf
Arihant handbook biology for class 11 .pdfArihant handbook biology for class 11 .pdf
Arihant handbook biology for class 11 .pdfchloefrazer622
 
URLs and Routing in the Odoo 17 Website App
URLs and Routing in the Odoo 17 Website AppURLs and Routing in the Odoo 17 Website App
URLs and Routing in the Odoo 17 Website AppCeline George
 
Employee wellbeing at the workplace.pptx
Employee wellbeing at the workplace.pptxEmployee wellbeing at the workplace.pptx
Employee wellbeing at the workplace.pptxNirmalaLoungPoorunde1
 
Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111Sapana Sha
 
MENTAL STATUS EXAMINATION format.docx
MENTAL     STATUS EXAMINATION format.docxMENTAL     STATUS EXAMINATION format.docx
MENTAL STATUS EXAMINATION format.docxPoojaSen20
 
Introduction to ArtificiaI Intelligence in Higher Education
Introduction to ArtificiaI Intelligence in Higher EducationIntroduction to ArtificiaI Intelligence in Higher Education
Introduction to ArtificiaI Intelligence in Higher Educationpboyjonauth
 
Measures of Central Tendency: Mean, Median and Mode
Measures of Central Tendency: Mean, Median and ModeMeasures of Central Tendency: Mean, Median and Mode
Measures of Central Tendency: Mean, Median and ModeThiyagu K
 
CARE OF CHILD IN INCUBATOR..........pptx
CARE OF CHILD IN INCUBATOR..........pptxCARE OF CHILD IN INCUBATOR..........pptx
CARE OF CHILD IN INCUBATOR..........pptxGaneshChakor2
 
Micromeritics - Fundamental and Derived Properties of Powders
Micromeritics - Fundamental and Derived Properties of PowdersMicromeritics - Fundamental and Derived Properties of Powders
Micromeritics - Fundamental and Derived Properties of PowdersChitralekhaTherkar
 
PSYCHIATRIC History collection FORMAT.pptx
PSYCHIATRIC   History collection FORMAT.pptxPSYCHIATRIC   History collection FORMAT.pptx
PSYCHIATRIC History collection FORMAT.pptxPoojaSen20
 
microwave assisted reaction. General introduction
microwave assisted reaction. General introductionmicrowave assisted reaction. General introduction
microwave assisted reaction. General introductionMaksud Ahmed
 
Incoming and Outgoing Shipments in 1 STEP Using Odoo 17
Incoming and Outgoing Shipments in 1 STEP Using Odoo 17Incoming and Outgoing Shipments in 1 STEP Using Odoo 17
Incoming and Outgoing Shipments in 1 STEP Using Odoo 17Celine George
 
Introduction to AI in Higher Education_draft.pptx
Introduction to AI in Higher Education_draft.pptxIntroduction to AI in Higher Education_draft.pptx
Introduction to AI in Higher Education_draft.pptxpboyjonauth
 
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptxSOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptxiammrhaywood
 

Recently uploaded (20)

Código Creativo y Arte de Software | Unidad 1
Código Creativo y Arte de Software | Unidad 1Código Creativo y Arte de Software | Unidad 1
Código Creativo y Arte de Software | Unidad 1
 
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptxPOINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
 
_Math 4-Q4 Week 5.pptx Steps in Collecting Data
_Math 4-Q4 Week 5.pptx Steps in Collecting Data_Math 4-Q4 Week 5.pptx Steps in Collecting Data
_Math 4-Q4 Week 5.pptx Steps in Collecting Data
 
mini mental status format.docx
mini    mental       status     format.docxmini    mental       status     format.docx
mini mental status format.docx
 
Staff of Color (SOC) Retention Efforts DDSD
Staff of Color (SOC) Retention Efforts DDSDStaff of Color (SOC) Retention Efforts DDSD
Staff of Color (SOC) Retention Efforts DDSD
 
Arihant handbook biology for class 11 .pdf
Arihant handbook biology for class 11 .pdfArihant handbook biology for class 11 .pdf
Arihant handbook biology for class 11 .pdf
 
URLs and Routing in the Odoo 17 Website App
URLs and Routing in the Odoo 17 Website AppURLs and Routing in the Odoo 17 Website App
URLs and Routing in the Odoo 17 Website App
 
Employee wellbeing at the workplace.pptx
Employee wellbeing at the workplace.pptxEmployee wellbeing at the workplace.pptx
Employee wellbeing at the workplace.pptx
 
Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111
 
MENTAL STATUS EXAMINATION format.docx
MENTAL     STATUS EXAMINATION format.docxMENTAL     STATUS EXAMINATION format.docx
MENTAL STATUS EXAMINATION format.docx
 
Introduction to ArtificiaI Intelligence in Higher Education
Introduction to ArtificiaI Intelligence in Higher EducationIntroduction to ArtificiaI Intelligence in Higher Education
Introduction to ArtificiaI Intelligence in Higher Education
 
Measures of Central Tendency: Mean, Median and Mode
Measures of Central Tendency: Mean, Median and ModeMeasures of Central Tendency: Mean, Median and Mode
Measures of Central Tendency: Mean, Median and Mode
 
CARE OF CHILD IN INCUBATOR..........pptx
CARE OF CHILD IN INCUBATOR..........pptxCARE OF CHILD IN INCUBATOR..........pptx
CARE OF CHILD IN INCUBATOR..........pptx
 
Micromeritics - Fundamental and Derived Properties of Powders
Micromeritics - Fundamental and Derived Properties of PowdersMicromeritics - Fundamental and Derived Properties of Powders
Micromeritics - Fundamental and Derived Properties of Powders
 
PSYCHIATRIC History collection FORMAT.pptx
PSYCHIATRIC   History collection FORMAT.pptxPSYCHIATRIC   History collection FORMAT.pptx
PSYCHIATRIC History collection FORMAT.pptx
 
microwave assisted reaction. General introduction
microwave assisted reaction. General introductionmicrowave assisted reaction. General introduction
microwave assisted reaction. General introduction
 
Incoming and Outgoing Shipments in 1 STEP Using Odoo 17
Incoming and Outgoing Shipments in 1 STEP Using Odoo 17Incoming and Outgoing Shipments in 1 STEP Using Odoo 17
Incoming and Outgoing Shipments in 1 STEP Using Odoo 17
 
TataKelola dan KamSiber Kecerdasan Buatan v022.pdf
TataKelola dan KamSiber Kecerdasan Buatan v022.pdfTataKelola dan KamSiber Kecerdasan Buatan v022.pdf
TataKelola dan KamSiber Kecerdasan Buatan v022.pdf
 
Introduction to AI in Higher Education_draft.pptx
Introduction to AI in Higher Education_draft.pptxIntroduction to AI in Higher Education_draft.pptx
Introduction to AI in Higher Education_draft.pptx
 
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptxSOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
 

Attempt to unify the following pairs of expressions- Either show thei.pdf

  • 1. Attempt to unify the following pairs of expressions. Either show their most general unifiers, or explain why they will not unify. Use the {a/b} substitution form. Upper case letters are variables, lowercase are constants. Assume all variables are universally instantiated. a. p(X, a, Y) and p(Z, Z, b) b. p(X, X) and p(a, b) c. p(X, Y, Z) and p(c,d,d) d. ancestor(X, father(X)) and ancestor(david, george) e. p(a, X) and p(Y, Z)