prologTest1