Guided Search: Language Programs, Korean