In this assignment, you will need to write an agent that uses logical inference to find the answers to the givenquestions based on the data given in the below table:1. Python Code Filename: ID.pyIDNameGPA ProgramCity123Ahmed3.56BS-CSGujranwala456Zahid2.85BS-SELahore789Baber3.70BS-DSGujranwala321Shahid2.99BS-CSGujranwala654Jamal3.33BS-DSLahoreUse the given code puzzle.py and amend the code so that it finds the answer to these questions:a. Who lives in Lahore?b. Who studies in the BS-DS program?c. Who has the minimum GPA and who has the maximum GPA?You are restricted to using only the kanren logical AI library and the given code for the LogicalProgramming lectures. You may use any mathematical library (if needed) for any math related work.2. Write a report (ID.pdf) that describes the logic of your solution. Make sure to describe all main steps thatyour code uses to find the answers of the given questions. puzzle.py;from kanren import *from kanren.core import lall# Declare the variablepeople = var()# Define the rulesrules = lall(# There are 4 people(eq, (var(), var(), var(), var()), people),# Steve's car is blue(membero, ('Steve', var(), 'blue', var()), people),# Person who owns the cat lives in Canada (membero, (var(), 'cat', var(), 'Canada'), people),# Matthew lives in USA(membero, ('Matthew', var(), var(), 'USA'), people),# The person who has a black car lives in Australia(membero, (var(), var(), 'black', 'Australia'), people),# Jack has a cat(membero, ('Jack', 'cat', var(), var()), people),# Alfred lives in Australia(membero, ('Alfred', var(), var(), 'Australia'), people),# Person who owns the dog lives in France (membero, (var(), 'dog', var(), 'France'), people),# Who is the owner of the rabbit? (membero, (var(), 'rabbit', var(), var()), people))# Run the solversolutions = run(0, people, rules)# Extract the outputoutput = [house for house in solutions[0] if 'rabbit' in house][0][0]# Print the outputprint('
' + output + ' is the owner of the rabbit')print('
Here are all the details:')attribs = ['Name', 'Pet', 'Color', 'Country']print('
' + ' '.join(attribs))print('=' * 57)for item in solutions[0]:print('')print(' '.join([str(x) for x in item])) In this assignment, you will need to write an agent that uses logical inference to find the answers to the givenquestions based on the data given in the below table:1.Python Code Filename: ID.pyIDNameGPAProgramCityAhmed3.56BS-CSGujranwala123Zahid2.85BS-SELahore456Baber3.70BS-DSGujranwala789Shahid2.99BS-CSGujranwala321Jamal3.33BS-DSLahore654Use the given code puzzle.py and amend the code so that it finds the answer to these questions:a. Who lives in Lahore?b. Who studies in the BS-DS program?c. Who has the minimum GPA and who has the maximum GPA?You are restricted to using only the kanren logical AI library and the given code for the LogicalProgramming lectures. You may use any mathematical library (if needed) for any math related work.2.Write a report (ID.pdf) that describes the logie of your solution. Make sure to describe all main steps thatyour code uses to find the answers of the given questions.

Question

In this assignment, you will need to write an agent that uses logical inference to find the answers to the givenquestions based on the data given in the below table:1. Python Code Filename: ID.pyIDNameGPA ProgramCity123Ahmed3.56BS-CSGujranwala456Zahid2.85BS-SELahore789Baber3.70BS-DSGujranwala321Shahid2.99BS-CSGujranwala654Jamal3.33BS-DSLahoreUse the given code puzzle.py and amend the code so that it finds the answer to these questions:a. Who lives in Lahore?b. Who studies in the BS-DS program?c. Who has the minimum GPA and who has the maximum GPA?You are restricted to using only the kanren logical AI library and the given code for the LogicalProgramming lectures. You may use any mathematical library (if needed) for any math related work.2. Write a report (ID.pdf) that describes the logic of your solution. Make sure to describe all main steps thatyour code uses to find the answers of the given questions. puzzle.py;from kanren import *from kanren.core import lall# Declare the variablepeople = var()# Define the rulesrules = lall(# There are 4 people(eq, (var(), var(), var(), var()), people),# Steve's car is blue(membero, ('Steve', var(), 'blue', var()), people),# Person who owns the cat lives in Canada (membero, (var(), 'cat', var(), 'Canada'), people),# Matthew lives in USA(membero, ('Matthew', var(), var(), 'USA'), people),# The person who has a black car lives in Australia(membero, (var(), var(), 'black', 'Australia'), people),# Jack has a cat(membero, ('Jack', 'cat', var(), var()), people),# Alfred lives in Australia(membero, ('Alfred', var(), var(), 'Australia'), people),# Person who owns the dog lives in France (membero, (var(), 'dog', var(), 'France'), people),# Who is the owner of the rabbit? (membero, (var(), 'rabbit', var(), var()), people))# Run the solversolutions = run(0, people, rules)# Extract the outputoutput = [house for house in solutions[0] if 'rabbit' in house][0][0]# Print the outputprint('
' + output + ' is the owner of the rabbit')print('
Here are all the details:')attribs = ['Name', 'Pet', 'Color', 'Country']print('
' + '		'.join(attribs))print('=' * 57)for item in solutions[0]:print('')print('		'.join([str(x) for x in item])) In this assignment, you will need to write an agent that uses logical inference to find the answers to the givenquestions based on the data given in the below table:1.Python Code Filename: ID.pyIDNameGPAProgramCityAhmed3.56BS-CSGujranwala123Zahid2.85BS-SELahore456Baber3.70BS-DSGujranwala789Shahid2.99BS-CSGujranwala321Jamal3.33BS-DSLahore654Use the given code puzzle.py and amend the code so that it finds the answer to these questions:a. Who lives in Lahore?b. Who studies in the BS-DS program?c. Who has the minimum GPA and who has the maximum GPA?You are restricted to using only the kanren logical AI library and the given code for the LogicalProgramming lectures. You may use any mathematical library (if needed) for any math related work.2.Write a report (ID.pdf) that describes the logie of your solution. Make sure to describe all main steps thatyour code uses to find the answers of the given questions.

Accepted Answer

Note: I am creating a scenario to implement kanren logical AI to create below table

1. Using…

ID	Name	GPA	Program	City
123	Ahmed	3.56	BS-CS	Gujranwala
456	Zahid	2.85	BS-SE	Lahore
789	Baber	3.70	BS-DS	Gujranwala
321	Shahid	2.99	BS-CS	Gujranwala
654	Jamal	3.33	BS-DS	Lahore