Տրամաբանական ծրագրերի օպտիմիզացման մասին / On optimization of logic programs

Abstract

Աշխատանքը նվիրված է տրամաբանական ծրագրավորման խնդիրներին։ Հետազոտության առարկա են հանդիսանում տրամաբանական ծրագրերը և հարցումները, իսկ դիտարկվող հիմնական խնդիրը՝ տրամաբանական ծրագրերի օպտիմիզացումը, այն իմաստով, որ ծրագրի և իր ցանկացած թույլատրելի հարցման ցանկացած SLD-ծառ դառնա վերջավոր / В данной работе исследуются проблемы логического программирования. Предметом исследования являются логические программы и запросы, а рассматриваемая основная проблема – оптимизация логических программ в том смысле, что любое SLD-дерево программы и любого допустимого запроса этой программы становится конечным / The thesis is devoted to the study of some problems of logic programming. The objects of study are logic programs and goals. The main problem studied is the optimization of logic programs in the sense that any SLD-tree of a program and any permitted goal of this program become finite