More on introduction: logic programming.