adding changes in prolog and frp talks pdf files