Evolutionary concept learning in First Order Logic: An overview