Նիւթ

Վերնագիր: On interpreters of logic programming systems

Ամսագրի կամ հրապարակման վերնագիր:

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

Հրապարակման ամսաթիւ:

2005

Հատոր:

24

ISSN:

0131-4645

Լրացուցիչ տեղեկութիւն:

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

Այլ վերնագիր:

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

Ծածկոյթ:

34-41

Ամփոփում:

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.

Հրատարակիչ:

Изд-во НАН РА

Ստեղծման ամսաթիւը:

2005-02-10

Ձեւաչափ:

pdf

Նոյնացուցիչ:

oai:arar.sci.am:258443

Բնօրինակին գտնուելու վայրը:

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

Նիւթին հաւաքածոները:

Վերջին անգամ ձեւափոխուած է:

Dec 8, 2023

Մեր գրադարանին մէջ է սկսեալ:

Jul 24, 2020

Նիւթին բովանդակութեան հարուածներուն քանակը:

16

Նիւթին բոլոր հասանելի տարբերակները:

https://arar.sci.am/publication/281509

Ցոյց տուր նկարագրութիւնը RDF ձեւաչափով:

RDF

Ցոյց տուր նկարագրութիւնը OAI-PMH ձեւաչափով։

OAI-PMH

Հրատարակութեան անունը Թուական
On interpreters of logic programming systems Dec 8, 2023

Օբյեկտի տեսակ՝

Նման

Այս էջը կ'օգտագործէ 'cookie-ներ'։ Յաւելեալ տեղեկատուութիւն