added files for a11 family tree and a12 prolog functioning
readme