Cont, Logic Program