Add Prolog Source