Logic programming (a paradigm using languages like Prolog) offered an elegant approach to knowledge-based AI: instead of procedural rules, developers would express knowledge as logical facts and predicates, then rely on built-in logical reasoners to derive conclusions—a seductive idea that proved inefficient and unsuitable for real-world problems like robotics.