A full-stack authentication system demonstrating symbolic AI through rule-based reasoning in Prolog. This system makes intelligent authentication decisions based on multiple contextual factors ...