Prolog'un Paralel Mantık Programlamaya Genişletilmesi

dc.contributor.advisor Kocabaş, Şakir tr_TR
dc.contributor.author Koç, Nazım tr_TR
dc.contributor.department Uzay Mühendisliği ve Teknolojisi tr_TR
dc.contributor.department Space Sciences and Technology en_US
dc.date 2003 tr_TR
dc.date.accessioned 2008-03-11 tr_TR
dc.date.accessioned 2015-12-10T10:23:02Z
dc.date.available 2015-12-10T10:23:02Z
dc.description Tez (Doktora) -- İstanbul Teknik Üniversitesi, Fen Bilimleri Enstitüsü, 2003 tr_TR
dc.description Thesis (PhD) -- İstanbul Technical University, Institute of Science and Technology, 2003 en_US
dc.description.abstract Bu çalışmamızda, CCND dil ailesi içinde bulunan, yeni bir paralel mantık programlama dili öneriyoruz. Bu paralel mantık programlama dilini Berk Prolog ve MIMD mimarideki uygulamasını da Berk Sistem olarak adlandırdık. Berk Prolog bugüne kadar tanıtılmış paralel mantık programlama dillerinden pek çok yönden farklılıklar göstermektedir. Öncelikle Berk Prolog, döz-dizimi ve semantik olarak klasik dillerden ayrılmaktadır. Bazı temel farklılıları şöyle özetleyebiliriz: Senkranizasyon mekanizması farklıdır. Bir proses baş veya guard tarafından asla askıya alınamaz. Bir proses ancak bütün giriş değişkenleri belli olduktan sonra çağrılabilir. Bundan dolayı proses çağrısı hiç bir zaman prosesleri askıya almaz. Guard kısmı, cümle seçiminden çok esas hesaplama kısmını oluşturur. Şartlı olarak değişken talep etme ve körleme bekleme kavramları ortaya atılmıştır. Kullanıcılara, cümle ve proses dağıtımı konusunda çok büyük esneklikler getirilmiştir. Guard çağrıları sayesinde sıralı Prolog, paralel Prolog un bir alt kümesi haline getirilmiştir. Kararlı bir sistem olduğu için, if-then-else yapıları ve bu yapılarla ilgili diğer temel fonksiyonlar kolaylıkla gerçeklenebilmiştir. Berk Prolog un bir yürütme modeli olarak Berk Sistemi geliştirdik. Berk Sistem TCP/IP ortamında çalışan dağıtık ve çok farklı bir uygulama modelidir. Bu modelde çözüm ağı ve ağ alanı gibi kavramlar sunulmuştur. Paralel mantık programlamada kullanılan kıyas programları Berk Prolog da yazılmış ve Berk Sistem üzerinde başarı ile yürütülmüştür. tr_TR
dc.description.abstract In our work we introduce a new parallel logic programming language in the class of CCND programming languages. We named our parallel logic programming language as Berk Prolog and its MIMD implementation as the Berk System . Berk Prolog differs from other parallel logic programming langauges developed until today in many respects, primarily in its syntax and semantics. Berk Prolog also differs from other related languages in its synchronization mechanism, in wich a process cannot be suspended by head unification or guard evaluation. A process can be invoked if all the input variables are bound. Guard evaluation is the main subject of computation rather than clause selection. Berk Prolog introduces the concept of conditional demand of external variables. It also brings flexibility on clause mapping and distribution of processes. By its guard evaluation, Berk Prolog treats sequential Prolog as its subset. In Berk Prolog, if-then-else and related predicates can be implemented quite easily. The Berk System, developed as an implementation of Berk Prolog, is a model that works on TCP/IP network medium. In this model we introduce the concepts of solution network and network heap. All familar benchmark programs have been written in Berk Prolog and executed in the Berk System successfully. en_US
dc.description.degree Doktora en_US
dc.description.degree PhD tr_TR
dc.identifier.uri http://hdl.handle.net/11527/11261
dc.publisher Fen Bilimleri Enstitüsü tr_TR
dc.publisher Institute of Science and Technology en_US
dc.rights İTÜ tezleri telif hakkı ile korunmaktadır. Bunlar, bu kaynak üzerinden herhangi bir amaçla görüntülenebilir, ancak yazılı izin alınmadan herhangi bir biçimde yeniden oluşturulması veya dağıtılması yasaklanmıştır. tr_TR
dc.rights İTÜ theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. en_US
dc.subject Prolog tr_TR
dc.subject paralel Prolog tr_TR
dc.subject CCND dili tr_TR
dc.subject paralel mantık programlama tr_TR
dc.subject Prolog en_US
dc.subject parallel Prolog en_US
dc.subject CCND languages en_US
dc.subject parallel logic programming en_US
dc.title Prolog'un Paralel Mantık Programlamaya Genişletilmesi tr_TR
dc.title.alternative An Extension Of Prolog To Parallel Logic Programming en_US
dc.type Thesis en_US
dc.type Tez tr_TR
Dosyalar
Orijinal seri
Şimdi gösteriliyor 1 - 1 / 1
thumbnail.default.alt
Ad:
8357.pdf
Boyut:
6.09 MB
Format:
Adobe Portable Document Format
Açıklama
Lisanslı seri
Şimdi gösteriliyor 1 - 1 / 1
thumbnail.default.placeholder
Ad:
license.txt
Boyut:
3.16 KB
Format:
Plain Text
Açıklama