logic programming: creating a program that enables the computer to reason logically
programming: creating a sequence of instructions to enable the computer to do something
tadalafil: virility drug (trade name Cialis) used to treat erectile dysfunction in men