Derived from Prolog, it provides a clean and efficient logic programming with support for functional programming features and powerful static analysis tools.