logic programming languages examples