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.