Computational logic is a branch of computer science that uses logic to perform computation, enabling the design and analysis of algorithms and systems through formal reasoning. It provides the foundation for various applications such as automated theorem proving, programming language design, and artificial intelligence by translating logical expressions into executable programs.