Пәндердің оқу-әдістемелік кешенінің тізімдемесі
D) Тізімдердің тәртібі және реттелуі
жүктеу/скачать 2.35 Mb.
|
| D) Тізімдердің тәртібі және реттелуі
ORDER предикаты берілген тізімде екі элемент қандай тәртіпте кездесетінін тексереді. Кезектілікті реттейтін тізім ORDER функциясының үшінші аргументі мәні ретінде беріледі. Егер осы тізімнің элементтерін солдан оңға қарай тексеріп жатқанда бірінші аргумент мәнімен сәйкес келетін элемент кездессе, ал алдын қарастырылып кеткен элементтердің ешқайсысы екінші аргумент мәнімен сәйкес келмесе, онда предикат мәні Т, қалған жағдайлардың барлығында ол NIL-ге тең. ORDER1 предикаты тура ORDER предикаты секілді есептелінеді, дегенмен, егер берілген элементтердің ешқайсысы ағымдағы тізімде жоқ болса, онда предикат мәні ретінде ORDERUNDEF атомы беріледі. LEXORDER предикаты бірінші және екінші аргумент ретінде берілген екі тізімді элемент соң элемент бойынша тексереді. Егер қандай да бір орында әр түрлі элементтер кездессе, онда олар бір-бірімен ORDER1 предикаты көмегімен тексеріледі. Мұнда үшінші аргумент (кезектілікті реттейтін) негізінде үшінші LEXORDER предикатын шақыру аргументі көрсетіледі. Тексеру нәтижесі (T, NIL, ORDERUNDEF) LEXORDER предикатының мәні ретінде беріледі. Егер әр түрлі элементтер кесдесерден алдын бірінші тізім аяқталып қалса, Т мәні қайтарылады. Егер бірінші болып екінші тізім аяқталса, нәтиже ретінде NIL мәні қайтарылады. LEXORDER1 предикаты LEXORDER предикатынан айырмашылыығы оның үшінші аргументі мәні тізім болуы тиіс. Оның әр орнының өзі өз кезегінде тізім болып табылады. Ол керек болған жағдайда бірінші екі аргумент мәндері ретінде берілген тізімдердің сәйкес орындарын тексеру үшін қолданылады. FIRST функциясы бірінші аргумент мәні ретінде берілген тізім элементтері арасынан екінші аргумент мәні ретінде берілген тізімде бірінші болып кездесетін элементті таңдайды. Егер бірінші тізімнің ешқандай элементі екінші тізімде жоқ болса, бірінші тізімнің бірінші элементі таңдалады. RANK функциясы оның бірінші аргументі ретінде берілген тізімді екінші аргумент ретінде берілген тізімде кездесетіндей кезектілікте реттейді. жүктеу/скачать 2.35 Mb. Достарыңызбен бөлісу:
|