https://4plyyarn.blogspot.com/2022/04/predicate-logic-in-artificial.html
Predicate Logic In Artificial Intelligence Tutorial Point