Modified ProgramLog implementation