Programmable Logic/Terminology