Recommending that communication students be required to learn to use computers not merely as number crunchers, word processors, data bases, and graphics generators, but also as logical inference makers, this paper examines the recently developed technology of logical programing in computer languages. It presents two syllogisms and shows how they would be represented in PROLOG, a logic-based computer language. It also suggests that the assumptions underlying some syllogisms must be directly stated for the computer to correctly interpret the data. (MM)