PL/SQL is Oracle Corporation's procedural extension for SQL that allows storing compiled code in a database. It combines SQL with procedural programming features. PL/SQL code is written in blocks that declare variables and handle exceptions, with an executable section using control structures like loops. It prints messages using dbms_output and supports object-oriented programming and web application development.