Moreover, Logic is sometimes used not just by users in communicating with computer systems, but by software engineers in building those systems, using languages like Prolog, illustrated here, and a programming methodology known as "Logic Programming." 