Bu çalışmamızda, CCND dil ailesi içinde bulunan, yeni bir paralel mantık programlama dili öneriyoruz. Bu paralel mantık programlama dili Berk Prolog ve MIMD mimarisindeki uygulaması da Berk Sistem olarak adlandırılmıştır. Berk Prolog, söz-dizimi ve semantik olarak klasik dillerden ayrılmaktadır: Senkronizasyon mekanizması farklıdır. Bir proses baş veya guard tarafından askıya alınamaz. 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. 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 temel fonksiyonlar gerçekleştirilebilmiştir. 

Anahtar Kelimeler: Prolog, paralel Prolog, CCND dili, paralel mantık programlama.