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

0
FZ
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

0
Anduril
Çok hoş bir kaynak. Bizleri de haberdar ettiğiniz için teşekkürler.
0
newman
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.
0
FZ
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.
0
FZ


Bir de The Reasoned Schemer var tabii güzel kaynak olarak.
0
newman
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

GNU/Linux dergisi Penguence'nin 2. sayısı çıkıyor...

FZ

Daha önce yine FM'de duyurduğumuz Penguence dergisinin ikinci sayısı (beta) yayınlandı. Dergiye web tarayıcı ile erişmek mümkün. Henüz PDF hali tam hazırlanmamış olmakla birlikte çalışmaları devam ediyor.

Bu sayıdaki konu başlıklarından bir kaçı:

  • OpenOffice.org 2.0'a doğru - Rıdvan Can
  • Ses ve Müzik - Bülent Bolat
  • Aynı dili konuşuyor muyuz? - Yasin Kokarca
  • Açık Anahtarlı Kriptografi - A. Murat Eren
  • Kitap Eleştirisi : Hackers - Sıradışı Bir Dönemin Sıradışı Hikayesi - Ergin Sevinç
  • Oyun Köşesi : Pathological - Doruk Fisek
  • Çekirdek Derlemekten Korkmayın - Murat Koç
  • Kablosuz LAN Protokolleri - Mustafa Şahin
  • Debian Sosyal Sözleşmesi (Çeviri) - Debian Türk Grubu

coLinux : Windows Altında Debian Mı ?

darkhunter

Bir gün Windows altında da (birbirimizi kandırmayalım ara sıra hepimiz açıyoruz :)) GNULinux kullanmak istedim. Yaptığım şeyleri şöyle bir derledim, ortaya bu yazı çıktı. Umarım birilerinin işine yarar. Belki arada bir fazlamesai.net'i gezen ama bir türlü Linux ile tanışamayanlara bir vesile olur. Windows'a bile girdik, daha ne yapalım! Kurun şu GNU/Linux'ü :)

belgeler.org 1.3.1

yalcink01

belgeler.org sitesi güncellendi. Man sayfaları çevirilerine http://www.belgeler.org/man/manpages.html adresinden erişebilirsiniz. Sisteminize kurmak için gerekli paketleri http://sourceforge.net/project/showfiles.php?group_id=61526 adresinden elde edebilirsiniz. Dağıtımlar içinden çıkacak Türkçe kılavuz sayfaları dileğiyle.

SFTP chroot için mini nasıl belgesi

conan

Amaç:
Bilgilerin şifreli olarak transfer edileceği bir sftp sunucusu yaratmak.

İhtiyaçlar:
SFTP kullanıcılarını işletim sistemi dosyalarından uzak tutmak. Bağlantıları için kendilerine özel bir chroot yaratmak.
SFTP kullanıcılarının sunucuya ssh üzerinden ulaşımını engellemek.
Becerebilirsek aynı servisi normal sistem yönetimi işlerinde de kullanabilecek şekilde ayarlamak.

Çözüm:
OpenSSH kaynak kodu içerisindeki sftp-server.c dosyasını yamamak ve kullanıcıları sınırlandıran bir kabuk yaratmak.

Nasıl?

Açık Akademi Yayınlarından Yeni kitap:Linux Sistem Yönetimi

anonim

O'reilly yayınlarından Mart 2007'de çıkan Linux System Administration kitabı Açık Akademi yayınları tarafından Linux Sistem yönetimi(Gerçek Hayattaki Linux Problemlerine Çözümler) adıyla Türkçe'ye kazandırılmıştır.