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
yaklaşık 19 yıl önce

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

newman
yaklaşık 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
yaklaşık 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
yaklaşık 19 yıl önce

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

newman
yaklaşık 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

Kargo Kültü Bilim

FZ
29 Kasım 2004, 19 dakika okuma süresi

Meşhur fizikçi Richard Feynman'ın 1974 yılındaki önemli bir konuşmasının metnini FM camiası ile paylaşmak istedik. Önemli bir kılavuz olduğunu düşündüğümüz bu metnin okurken bir hayli eğleneceğinizi ve bir şeyler kapabileceğinizi düşündük.

Kadınlar ve Bilgisayarlar

FZ
20 Ocak 2005, 15 dakika okuma süresi

Kadınlar ve bilgisayarlar. Kadınlar ve programlar. Kadın programcılar. Kadın "hacker"lar. Kadınların bilgisayar bilimleri tarihinde ve endüstrinin gelişiminde, teknolojinin ilerlemesinde oynadıkları rol. Kadınlar ve GNU/Linux. Kadınlar ve projeleri. Kadınlar ve erkekler. Önyargılar ve bunlara karşı mücadele yöntemleri. Akıllı, güçlü, zeki, inatçı, hırslı ve risk almayı seven kadınlar. Pek çok programlama dilini ustaca kullanan kadınlar.

Kısaca kadınlar ve bilgisayarlar üzerine bir yazı. Meraklısına...

rsync ile Windows makinelerin Debian/GNU Linux'a yedeklenmesi

ctengiz
16 Aralık 2004, 1 dakika okuma süresi

Uzunca bir süredir ağ içerisinde yer alan kullanıcılara ait MS Windows makinelerinin yedeklenmesi için bir çözüm arayışı içerisindeydim. Sistemin sahip olması gereken özellikleri şu şekilde sıralayabilirim :

Yedek makinesinin yönetimi kolay olmalı.
Sistem ağ üzerinden çalışmalı.
Yalnızca değişen dosyaları yedekleyecek kadar akıllı olmalı.
Çok fazla ağ trafiğine sebep olmamalı.
GNU/GPL yazılımlar ile minumum maliyete sahip olmalı.
Son kullanıcı için kullanımı kolay olmalı.
Kendi başına zamanlanmış yedekler alabilmeli.

Bu yazıda bu hedeflere nasıl ulaşılabilineceği anlatılyor.

Kısıt Koşul Programlama

FZ
1 Eylül 2004, 1 dakika okuma süresi

Roman Barták'ın "On-line Guide to Constraint Programming" (Kısıt Koşul Programlamaya Giriş) kılavuzu farklı bir yazılım geliştirme paradigması için öenmli bir kılavuz niteliğinde.

Kısıt koşul programlama, kabaca istenen çözümün sağlaması gereken şartların (kısıt koşulların) sunulduğu ve çözümün adım adım tarif edilmediği programlama şekli olarak tanımlanabilir.

Kısıt koşul programlama gitgide popülaritesini artırmaya başladı, Mozart Programming System gibi somut uygulamalar pek çok problemin çözümünde kullanılıyor. NP-zor problemler, yapay zekâ, mantık, elektronik, bilgisayar grafikleri gibi konularda çalışan yazılımcıların kısıt koşul programlama konusunda bilgi sahibi olmalarında fayda var.

Kaynak: Computer Science Daily News

CVS ve Dallar (Branches) İle Karmaşık Yazılım Yönetimi

malkocoglu_2
12 Kasım 2004, 1 dakika okuma süresi

Yazılım sektöründe anahtar teslim projeler için bir derece, ürün ile uğraşmakta olan takımlar için kesinlikle lazım olacak bir kaynak kod deposu özelliği vardır. Dallar, yâni branch kavramı. Branch kullanımı her kaynak kod idare programında farklıdır, ve tabii ki açık yazılımın favori programı CVS'te de branch desteği mevcuttur fakat bazı konularda dikkatli olmak gerekmektedir. Yazılım sektöründe birçok konuda olduğu gibi elde bir "yapılması uygun olan/olmayan" gibi bir liste, önceki tecrübelere dayanarak mevcuttur, bu yazıda bu tür tavsiyeleri toparlayarak, kendi tecrübelerimiz ışığında sunmaya uğraştık.

Not: Makale, GNU Emacs ve LaTeX ile yazılmıştır.