ПРОЛОГ программалау тілінің интерпретаторы

Пролог жүйеде программмамен енгізуге рұқсат ететін редактор бар. Егер мұндай мұмкіншіліктер болмаса, Пролог ортасыннан шығу рограмманы редактілеу және қайтадан Пролог жүйеге қайта келу қажет, edit (F) F-файл аты Файл редагтіленгеннен кеиін ол автоматты түрде Прологты актілеу күйде ұстау үшін Прологтың деректер базасына қайта енгізіледі. Предикаттарды баспаға шығару. Прологта қандай тұжырымдар кіргенін тексеру үшін келесі предикаттарды қолдануға болады: Listing бұл предикат стандартты шығару ағынындағы. Прологтың деректер базасындағы барлық тұжырымдарды шығарады Listing (C) Егер С атом болса, онда стандартты шығару ағынында С (печатаються) Егер С Ғ арностім функторы бар терм болса, онда Ғ функторы және А арностім процедуалар ғана басылады прологта тізімі деп аталатын байланысқан обьектілер қолданылады. Тізім дегніміз_бірінен соң бірі келетін реттелген бірнеше операцияларды орындауға болады. Олардың қатарына төмендегідей операциялар кіреді. Тізім объектілеріне еркін кіру. Тізім жататындығын тексеру. Тізім екіге бөлу. Тізім элементтерін өсу және кему реті бойынша сырлату. Прологта тізіменен бірінші элементті бөліп алып, және өңдесе болады. Бұл тәсіл тізімнің ұзындыгына қарамастан тізм біткенше жұмыс істей береді. Тізімді басына және соңына бөлу операциясы вертикаль (1) тізудің көмегімен іске асады. Прологта кез келген атты алуға болады: domains number- list= integer