expert_system

1. Searching Algorithms:

https://en.wikipedia.org/wiki/Breadth-first_search https://www.geeksforgeeks.org/breadth-first-search-or-bfs-for-a-graph/

2. Unification in First-order logic:

https://en.wikipedia.org/wiki/Unification_(computer_science) https://www.javatpoint.com/ai-unification-in-first-order-logic

3. Deductive reasoning:

https://en.wikipedia.org/wiki/Deductive_reasoning