ՀՀ ԳԱԱ Զեկույցներ =Reports NAS RA

Оптимизация систем логического программирования посредством преобразований их программ

Нигиян, С. А. and Хачоян, Л. О. and Акопян, В. Р. (2004) Оптимизация систем логического программирования посредством преобразований их программ. ՀՀ ԳԱԱ Զեկույցներ, 104 (1). pp. 12-17. ISSN 0321-1339

[img]PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
129Kb

Abstract

Աշխատանքում տրված է տրամաբանական ծրագրավորման T-օպտիմիզացվող համակարգի սահմանումը, որտեղ T-ն ծրագրերի ձևափոխությունների ինչ-որ մի բազմություն է: Ընդհանուր մոտեցման ցուցադրման համար ընտրված են PROLOG համակարգի ինտերպրետատորը և այն ձևափոխությունների բազմությունը, որոնք տեղափոխում և հեռացնում են ծրագրերի նախադասությունները, տեղափոխում են ատոմները ծրագրերի կանոնների մարմիններում: Տրամաբանական ծրագրավորման մի շարք համակարգերի համար ստացվել են արդյունքներ նրանց T-օպտիմիզացման վերաբերյալ:

Item Type:Article
Additional Information: Տրամաբանական ծրագրավորման համակարգերի օպտիմիզացիա նրանց ծրագրերի ձևափոխման միջոցով։ Optimization of logical programming systems by means of transformations of their programs.
Uncontrolled Keywords:Նիգիյան Ս. Ա., Խաչոյան Լ. О., Հակոբյան Վ. Ռ., Nigiyan S. A., Khachoyan L. O., Hakobyan V. R.
Subjects:Q Science > QA Mathematics
ID Code:805
Deposited By:NAS Reports
Deposited On:09 Aug 2011 10:47
Last Modified:13 Mar 2014 08:17

Repository Staff Only: item control page