Prolog code that describes the sub-parts of a microprocessor