information about Functional logic programming field