Getting data from Prolog -> check
Filtering -> check