SWISH -- SWI-Prolog for SHaring

% p_arbol.pl
% Árbol para búsqueda.
% José A. Alonso Jiménez <https://jaalonso.github.io>
% Sevilla, 24-mayo-2022
% =============================================================================

% Representación del problema
% ===========================

% Se considera el problema de búsqueda correspondiente al siguiente árbol:
%
%                                  a
%                                /   \
%                              b       c
%                             /  \    /  \
%                            d    e  f    g
%                          /     /  \  \
%                         h     i    j   k
%
% donde el estado inicial es a y los estados finales son f y j.

% estado_inicial(?E) se verifica si E es el estado inicial.
estado_inicial(a).

% estado_final(?E) se verifica si E es un estado final.
estado_final(f).
estado_final(j).

% sucesor(+E1,?E2) se verifica si E2 es un sucesor del estado E1.
sucesor(a,b).
sucesor(a,c).
sucesor(b,d).
sucesor(b,e).
sucesor(c,f).
sucesor(c,g).
sucesor(d,h).
sucesor(e,i).
sucesor(e,j).
sucesor(f,k).