There are functional languages which have logic programming libraries.