C LAUS B RABRAND O CT 21, 2009 P ROGRAMMING P ARADIGMS L OGIC P ROGRAMMING with P ROLOG Claus Brabrand [email protected] IT University of Copenhagen [