10 Yıllık Prolog Programlama Yarışması Arşivi

1994, 1995, 1996, 1997, 1998, 1999, 2001, 2002, 2003 ve 2004 yıllarında dünyanın çeşitli yerlerindeki konferanslarda düzenlenmiş Prolog kodlama yarışmalarının soruları ve güzel çözümleri bu kitapta toplandı.

Kitap PDF olarak ücretsiz şekilde kamuya sunulmuş durumda.

Buradaki soruları C, C++, Perl, Java, C#, PHP gibi imperatif yahut Scheme, ML, OCaml, Haskell gibi fonksiyonel dillerle çözmeyi deneyebilir, Prolog çözümleri ile kıyaslayabilir ya da XSB gibi daha gelişmiş mantık programlama dilleri ile neler yapabileceğinizi kurcalayabilirsiniz.

Görüşler

Anduril
19 yıl önce

Çok hoş bir kaynak. Bizleri de haberdar ettiğiniz için teşekkürler.

newman
19 yıl önce

Ben de tesekkur ederim. Lisp'e merak salmadan once prolog ogrenmeye niyetlenmistim ve biraz webi de arastirmistim guzel materyal var mi diye. O zamanlar ben bunu gormemistim. Sonra prolog isini baska bir bahara erteledim.
Bu arada, kitaptan faydalanabilmek icin prolog bilmek lazim tabii ;-). Aklima geldi bu vesileyle: bir kitap bulmustum (ingilizce). Ne kadar iyidir bilmiyorum, ama belki birilerinin isine yarar: http://www.ida.liu.se/~ulfni/lpp/ adresinden indirebilirsiniz. Kolay gelsin arkadaslar.

FZ
19 yıl önce

SICP ve PAIP kitaplarında Lisp ile Prolog nasıl gerçekleştirilir diye anlatıyor ve kod örnekleri veriyor diye hatırlıyorum. O kitapların ilgili kısımlarına bakmakta fayda olabilir. Böylece Lisp içinden Prolog işlevselliği kullanılabilir hale geliyor.

FZ
19 yıl önce

Bir de The Reasoned Schemer var tabii güzel kaynak olarak.

newman
19 yıl önce

Ben bu little,reasoned, seasoned schemer uclusunu satin aldim gerci, ama daha okumaya firsat bulamadim. "call/cc" ile ilgili bir noktada takilmistim: PLT mailing list'te sordum. Birisi bana cok detayli ve guzel bir aciklama yapmisti. Sonra da "bunlarin kaynagi Little schemer" demisti ;). Ben de ustune atladim. Ama araya matematik girdi, uzadi. Su aralar da yavas yavas "On Lisp" P.Graham'in kitabini okuyorum. Vallahi prologa ne zaman sira gelecek hic bilmiyorum (dedigim gibi: araya denklemler giriyor :)

Görüş belirtmek için giriş yapın...

İlgili Yazılar

Teknoloji Seçerken

malkocoglu_2
31 Ağustos 2004, 1 dakika okuma süresi

Bu yazıyı Java bilgi işlem teknolojilerinden biri olan Entity Bean'lerin erken ölümü üzerine yazdık. Zamanında büyük şaşa ile ortaya çıkan bu teknoloji niye böyle erken tedavülden kalktı? Ayrıca bu tecrübeden ders çıkarmak bağlamında, ileride bu tür geleceği olmayan ve külfetli teknolojilerin kokusunu nasıl alabiliriz? Bu yazı bilgi işleme daha çok hitap eden bir yazıdır çünkü 3-4 senede bir yeni bir dehşet teknolojiyle çalkantılar yaratan grup bu olmaktadır. Bu dinamizm tabii ki iyidir fakat bilgi işlem müdürleri ve proje yöneticileri için bu teknoloji enflasyonunda bir seçici turnusol testi lazımdır. Aksi halde sonuç InfoWeek Dergisi Pazartesi Günü Sendromudur; (Masasındaki Infoweek dergisinin yeni sayısını pazartesi günü okuyan yönetici) "XML diye bir şey cıkmış bütün dertlere devaymış! Hemen kullanalım!" . [Proje teknik lideri burada somurtur].

http://www.bilgidata.com/yazi.jsp?dosya=a_ejb_postmortem.xml

Yeni nesil versiyonlama sistemleri - Subversion

anonim
18 Mayıs 2004, 1 dakika okuma süresi

Büyük olsun küçük olsun tüm şirketlerde, şirket içerisindeki dökümanların akışının ve arşivlenmesinin kontrolü için kullanılan bir sistem vardır. Subversion bu sistemlerden biridir.

Bu amaçla kullanılan bilgisayar programlarına en çok yazılım şirketlerinde rastalanmaktadır. Çünkü yazılımcılar gün içinde sürekli kodlarda ufak değişiklikler yapmaktadırlar. Gerektiğinde dosyaları eski tarihteki versiyonlarına geri döndürmektedirler. Bunları yaparken diğer yazılımcıların etkilenmemesi gerekmektedir. İşte bu anda devreye giren bu programlar bir dosya üzerinde farklı kullanıcılar tarafından aynı anda yapılan değişikliklerin birbirini yok etmesini engeller.

Makalenin tamanını http://www.riskturk.com/obje7/yayin_subversion_1.php adresinden okuyabilirsiniz.

Tim O'Reilly tarafından yazılan bir açık kitabın hikayesi...

misafir
29 Ekim 2005, 1 dakika okuma süresi

1987 yılında O'Reilly Networks'un kurucularından Tim O'Reilly, Dale Dougherty ile beraber "Unix Text Processing" adlı bir kitap yazarlar. Kitapta vi editörünün kullanımından awk programlama diline, hatta troff macrolarının nasıl yazılacağına kadar pek çok değerli bilgi vardır. Bir süre sonra kitap piyasadan kaldırılır.

Debian ile Mantıksal Hacim Yönetimi (LVM)

FZ
26 Aralık 2004, 1 dakika okuma süresi

Türk Debian kullanıcıları camiasının çalışkan ve üretken bireylerinden Serdar Aytekin Debian GNU/Linux kullanarak mantıksal hacim yönetimi (LVM - Logical Volume Management) gerçekleştirmeye dair güzel bir yazı hazırlamış.

İçerik ve seviye olarak orta ve üst düzey sistem yöneticilerine hitap eden bu yazı, "7-8 adet 200 GB'lik SCSI diski bilgisayarıma bağlayıp bunları tek bir disk gibi görmek ya da 3'e bölüp 3 üç farklı disk gibi görmek, sonra istersem kolayca yeni disk takıp hacmi ve dosya sistemini büyütmek istiyorum" gibi cümleler kuran kişilerin işine yarayacak türden.

Bu tür cümlelerin çok değil 4-5 yıl öncesine dek ancak onbinlerce, yüzbinlerce dolarlık makinalar ve ticari UNIX türevi işletim sistemleri barındıran bilgi işlem merkezlerinde kurulduğu ve özel, pahalı yazılımlar gerektirdiği düşünülecek olursa bilgisayarla profesyonel olarak uğraşan bilgi işlemciler için GNU/Linux'un, Debian'ın kıymeti bir kez daha anlaşılır diye düşünüyorum. Bu kadar laftan sonra hadi artık makale adresini versene diyenler için, buyrun: Debian ile Mantıksal Hacim Yönetimi (LVM).

LinuxFocus; Türkçe Linux Kaynağı Arayanlara

sundance
30 Mart 2001, 1 dakika okuma süresi

Linux hakkında Türkçe kaynak bulamayanlara, devamlı yabancı dilde sitelerde dolaşanların derdine deva bir site var.
www.linuxfocus.org Dahası bu site 1997 yılından beri yayında. Ağır aksak da olsa, yayınını sürdürüyor. Hem de aralarında Türkçe'nin de olduğu 7 dilde.

Ben şahsen çok hoşlandım. Sizleri de bekleriz.

http://www.linuxfocus.org/Turkce/