1% test prolog file for the Barcelona workshop 2 3:- include("../data/data_nos4.txt"). 4 5test_algo_list(Input, Output) :- 6 % create list with "region(Base, Size)" elements 7 findall(region(Base, Size), 8 ( 9 % access stored facts 10 mem_region_type(Type, Input), 11 memory_region(Base, _, Size, Type, _) 12 ), 13 Output). 14 15