Bu, en son sürümü kanren-book-1.2.tar.gz olarak indirilebilen A bildirimsel mantık programlama sistemi adlı Linux uygulamasıdır. İş istasyonları için ücretsiz barındırma sağlayıcısı OnWorks'te çevrimiçi olarak çalıştırılabilir.
Ücretsiz olarak OnWorks ile bildirimsel mantık programlama sistemi adlı bu uygulamayı çevrimiçi indirin ve çalıştırın.
Bu uygulamayı çalıştırmak için şu talimatları izleyin:
- 1. Bu uygulamayı PC'nize indirdiniz.
- 2. Dosya yöneticimize https://www.onworks.net/myfiles.php?username=XXXXX istediğiniz kullanıcı adını girin.
- 3. Bu uygulamayı böyle bir dosya yöneticisine yükleyin.
- 4. Bu web sitesinden OnWorks Linux çevrimiçi veya Windows çevrimiçi öykünücüsünü veya MACOS çevrimiçi öykünücüsünü başlatın.
- 5. Yeni başladığınız OnWorks Linux işletim sisteminden, istediğiniz kullanıcı adıyla https://www.onworks.net/myfiles.php?username=XXXXX dosya yöneticimize gidin.
- 6. Uygulamayı indirin, kurun ve çalıştırın.
Bir bildirimsel mantık programlama sistemi
Ad
TANIM
Birinci sınıf ilişkilere sahip bildirimsel bir mantık programlama sistemi
Scheme'in saf bir işlevsel alt kümesine gömülü. sistem gerçek
sendikalar, adil zamanlama, sözlüksel kapsamlı mantıksal değişkenler,
set-teorik semantik, kesinti olmadan yüksek performans
Seyirci
Geliştiriciler, Bilim/Araştırma
Kullanıcı arabirimi
Web tabanlı
Programlama dili
plan
Kategoriler
Bu, https://sourceforge.net/projects/kanren/ adresinden de getirilebilecek bir uygulamadır. Ücretsiz İşletim Sistemlerimizden birinden en kolay şekilde çevrimiçi çalıştırılabilmesi için OnWorks'te barındırılmıştır.