Файл ұғымы және енгізу-шығару үшін see/seeing/seen және tell/telling/told предикаттары

Кез келген типті деректер тобын файл деп атайды. Программаға қажетті деректерді және нәтижелерді программаның өзінде файл деп атауға болады. Сыртқы файлдан кірістік деректерді оқу және сыртқы файлға шығыстық деректерді жазу енгізу-шығару деректерінің ағынының өзгерісімен сәйкес болуы шарт. Мұндай өзгерістерді енгізу үшін келесідей предикаттар қолданылады: see, seeing және seen. Шығару үшін де ұқсас предикаттар жиыны пайдаланылады. Олар: tell, telling және told. Олар келесі түрде анықталады