PDF Search: logic programming in action