April 1988 Dr. Dobb's Journal KRUTE.ASC To the Macs by Stan Krute AMSTERDA.ASC Creating and Adventurous Language by Jonathan Amsterdam PORTER.ASC Structured Programming Column by Kent Porter REIS.ASC Theorem Proving using Semantic Resolution by Anthony Dos Reis TRACY.ASC Forth Column by Martin Tracy THOMPSON.ASC Topics in Knowledge-based Languages by Bill and Bev Thompson