X-Prolog

X-Prolog, Android'de Prolog'da programlamayı kolaylaştırmayı amaçlayan hafif bir Prolog sistemidir. Uygulama, Prolog programlarını bir metin görünümünde, web görünümünde veya bir istemci uygulamasına bağlı bir hizmet olarak çalıştırır. https://github.com/xprolog/sample-client adresinde örnek bir istemci mevcuttur.

Google Play'in, Android 11 veya sonraki sürümleri hedefleyen uygulamalarda tam dosya erişim izninin kullanımını kısıtladığını unutmayın. X-Prolog'u tüm dosya erişim izniyle kurmak için https://github.com/xprolog/xp/releases adresine bakın.

Aracı aldınız mı?

Uygulama, projeleri düzenlemek ve oluşturmak için kullanıcı tanımlı araçlara bağlıdır. Araçlar Prolog'da yazılmıştır ve geliştirici seçenekleri olan cihazlarda görünür. Uygulama ve araçlar, aktarım değişkenleri ve biçimlendirilmiş çıktılar aracılığıyla veri alışverişinde bulunur. Bu sürüm, uygulamanın araç özelliğini göstermeyi amaçlayan önemsiz araçları içerir.

Uygulama, aktarım değişkenlerinin kullanılabilir olduğu (araçlara) ve biçimlendirilmiş çıktının (araçlardan) tanındığı uzantı noktalarını tanımlar. Bir araç, bir bağlam terimi belirterek bir veya daha fazla uzatma noktasına katkıda bulunacak şekilde yapılandırılabilir.

Bir bağlam terimi,

context(Name, FileTypes, Priority)

formunun okuma terimidir, burada

Name

bir uzantı noktasının adıdır,

FileTypes

kabul edilebilir dosya türlerinin listesidir ve

Öncelik

sıfırdan küçük olmayan bir tamsayıdır ve anlamı uzantı noktasına göre değişir.

Bu sürüm, araçların sırasıyla proje oluşturmaya, kaynak dosyaları düzenlemeye ve kaynak modelleri uzlaştırmaya katkıda bulunmasına olanak tanıyan üç uzantı noktası tanımlar:

oluştur, düzenle

ve

uzlaştır

.

Bir proje oluşturmak için projenin en üst dizininde bir dosya açın ve

Oluştur

'u tıklayın. Projeyi yerel dosya sisteminde çalıştırılabilir bir nesne dosyasına aktarmak için

Dışa Aktar

'ı tıklayın. Nesne dosyasını çalıştırmak için

Çalıştır

'ı tıklayın.

Dosyayı oluşturan ve muhtemelen onu başka bir kaynak dosyaya dönüştüren bir veya daha fazla araç varsa, bir dosya kaynak dosya olarak kabul edilir. Bu sürüm, bir Prolog kaynak dosyasını (.pl) hızlı yükleme dosyasına (.ql) çeviren tek bir oluşturma aracı olan

Derleme

içerir.

Bilinen sorunlar, kontrol, mantıksal güncelleme görünümü, diğerleri arasında atfedilen değişkenleri içerir.