FORMAL METHODS Prolog April 2 & 6, 2015. Formal Methods Programming Languages Imperative Declarative ProceduralData Abstraction C … Objects Modules Ada.
