Logic programming in elective.