Programming with a paradigm that bases on formal logic
A component of a computer program that prepares the computer to execute a routine.
A speech or section used as an introduction, especially to a play or novel.