Journal or Publication Title:

Математические вопросы кибернетики и вычислительной техники=Կիբեռնետիկայի և հաշվողական տեխնիկայի մաթեմատիկական հարցեր=Mathematical problems of computer science

Date of publication:

2005

Volume:

24

ISSN:

0131-4645

Additional Information:

սեղմիր այստեղ կապին հետևելու համար

Other title:

Տրամաբանական ծրագրավորման համակարգերի ինտերպրետորների մասին

Coverage:

34-41

Abstract:

We introduce the notions of totally resolving and totally complete interpreters for Horn programming languages. We prove the existence of totally complete interpreter (an interpreter which gives all the answers for a query if the query is a logical consequence of the program) for any Horn programming language and existence of totally resolving interpreter (an interpreter which gives all the answers for any program and query) for languages whose programs have ¯nite templates of their least models. We also consider problems of total completeness and total resolvability for PROLOG interpreter from viewpoint of some (natural) program transformations and prove that it is not possible to make the interpreter totally complete.

Publisher:

Изд-во НАН РА

Date created:

2005-02-10

Format:

pdf

Identifier:

oai:arar.sci.am:258443

Location of original object:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան