Intelligent library assistant powered by First-Order Logic Knowledge Base (10,538 books), Forward/Backward Chaining rule inference, and Random-Restart Hill Climbing optimization.