Final answer:
The correct tool for translating the source code of a procedural program into binary code is a compiler. It turns high-level programming language into machine code, differentiating it from interpreters, assemblers, and linkers.
Step-by-step explanation:
The tool that translates the source code of a procedural program into binary code is a compiler. Compilers are used to convert the source code written in a high-level programming language into binary code, which is executable by a computer's CPU. The binary code is also referred to as machine code.
An interpreter, on the other hand, executes the source code directly, translating it line-by-line at runtime. An assembler translates assembly language, which is a low-level programming language, into machine code. Finally, a linker combines multiple object files into a single executable or library.
Therefore, the correct answer to the question is 1) Compiler, as it specifically performs the task of converting procedural source code into binary code