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