/* ******************************************************************** */
/*                                                                      */
/*                             FIRST NAME: ....                         */
/*                             FAMILY NAME: ....                        */
/*                             ID #: .....                              */
/*                                                                      */
/* ******************************************************************** */
/*                                                                      */
/*                        CSE 428 - SPRING 2001                         */
/*                                                                      */
/*                       Solution of Assignment #6                      */
/*                                                                      */
/*                             File XXXX.pl                             */
/*                                                                      */
/* ******************************************************************** */
/*                                                                      */
/*   You can use auxiliary functions if you like, in all exercises      */
/*                                                                      */
/* ******************************************************************** */
/* Exercise 1                                                           */
/* Insert here your definition of the predicate  sub_ord(K,L)           */


/* ******************************************************************** */

/* ******************************************************************** */
/* Exercise 2                                                           */
/* Insert here your definition of the predicate  branch(T,L)            */


/* ******************************************************************** */

/* ******************************************************************** */
/* Exercise 3                                                           */
/* Insert here your definition of the predicate  can_exit(M,N)          */


/* ******************************************************************** */