Տրամաբանական ծրագրավորման որոշ ալգորիթմական պրոբլեմների մասին / On some algorithmic problems of logic programming

Abstract

Աշխատանքը նվիրված է տրամաբանական ծրագրավորման խնդիրներին։ Ուսուﬓասիրության առարկան են հանդիսանում այսպես կոչված մաքուր տրամաբանական ծրագրերը՝ ծրագրեր որոնք չեն պարունակում ներդրված պրեդիկատներ / Диссертация посвящена проблемам логического программирования. Предметом исследования являются так называемые чистые логические программы, т.е. логические программы, не использующие встроенные предикаты / The thesis is devoted to problems of logic programming. The objects of the study are so called pure logic programs, that are logic programs that do not use built-in predicates