Need to submit - 1) Code with comments + output screenshots 2) 2-page report SOFTWARE- PROLOG Write Prolog to verify the claims in the song (one version given below) by proving them from the facts in the song (one version given below) and the relevant kinship definition rules (you must write these) Minimize the number of facts and maximize the number of rules. I didn't use the cut (!). I used 17 kinship rules (no idea what's optimal) and the following facts (again, probably not a necessary and sufficient set). The program needs to run and be able to accept inputs to prove the predicates outlined in the song. like proving relationships stated are true this video kind of explains what is needed https://www.youtube.com/watch?v=mEV400GaXL8&ab_channel=Techno Read There is a small 2-page report that has to include -some explanation, introduction, what is your understanding of the song or to your implementation -what are the facts you implemented, who (entities are involved in the facts? -what are the rules you wrote? What kind of relationships did you implement? -what is the main query to run during the test? and what is the expected output in IEEE format