updated logic programming intro