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
18 yıl önce

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

newman
18 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
18 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
18 yıl önce

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

newman
18 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

SFTP chroot için mini nasıl belgesi

conan
22 Mayıs 2004, 1 dakika okuma süresi

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?

Hızlı ve Kirli Bir mod_chroot Kılavuzu

anonim
26 Temmuz 2006, 1 dakika okuma süresi

Apache ile çalışıyorsanız güvenlik işlemlerinin en başında yer alan şartlardan biri Apache'yi kafes içinde çalıştırmaktır.

Ancak klasik kafesleme yaklaşımları bazen insanın sabrını zorlayacak derecede karmaşık ve problemli olabiliyor ( Kişisel görüş kimseyi bağlamaz :) ) .

Ben kendi çözümümü mod_chroot ile hızlı ve kolay biçimde tamamlarken ortaya bu belge çıktı. Her ne kadar sürç-i lisan ettikse affola...

Php Başlangıç Dersleri - Seri 4 - (MySQL)

Guardian
5 Ekim 2008, 1 dakika okuma süresi

Veritabanı konusuna, özelliklede MySQL diline yeni giriş yapacak okurlar için çok güzel bir kaynak olduğuna inandığım ve bir süredir azimle üzerinde çalıştığım Php Başlangıç Dersleri - Seri 4″ sonunda tamamlanmıştır.

Dökümana şu sayfadan ulaşabilirsiniz. Yada direk aşağıdaki bağlantıdan indirebilirsiniz.

php-dersleri-seri-4.tar.gz [ 1 MB ]

Yazılım Şirket Çeşitleri

anonim
18 Temmuz 2003, 1 dakika okuma süresi

Bu yazımızda, yazılım üreten şirketlerin hangi kategorileri oluşturduğunu, bu kategorilerin tarihini birkaç örnek ile göstermeye çalışacağız. Kategorilerden birisi olan "ürün şirketi", rahatça bilinen ve tasvir edilen bir şirket olsa da, öteki şirket türü, danışman şirketi, yaygın olarak bilinmeyen yazılım şirketleridir. Yazının bilgilendirici olacağını umuyorum.

Yazının devamı

Greg Wilder ile müzik, yaratıcılık ve GNU/Linux üstüne

FZ
15 Kasım 2004, 17 dakika okuma süresi

Bilgisayarla müzik besteleme ve düzenleme konusunda önemli çalışmaları olan Greg Wilder ile müzik, bilgisayarlar, işletim sistemleri, yaratıcılık, yapay zekâ ve doğaçlama üstüne bir röportaj gerçekleştirdik.

Wilder onca iş güç arasında bizi kırmayarak sorulara epey detaylı cevaplar verdi ve Türkçe konuşan bilgisayar ve müzik dünyası ile iletişim kurabilmiş olmaktan ötürü memnuniyetini belirtti. Bu röportaj şerefine daha önce yayınlamamış olduğu iki parçayı MP3 olarak röportajın sonundaki bağlantılardan edinip dinleyebilirsiniz.

3... 2... 1... Yayındayız!