embeded program description into prolog test program