List of logic programming languages