Kural Motorları Prologda Neden Yazılmıyor? [kapalı]

Prolog'da gördüğüm kadarıyla, bir uygulama için bir kural motoru hazırlamak için ideal gibi görünüyor. Yine de, Prolog'da yazılmış bir kural motoru gördüğüme inanmıyorum. Prolog'da (örn. Zayıf çöp toplama algoritması) kural motoru oluşturmak için kullanılmasını engelleyecek bazı doğal sınırlamalar var mı?

Bebekliklerindeki kural motorları neredeyse sadece Prolog'da yazılmıştır - mantıklı bir dildi. Küçük bir kural seti için harika çalıştılar. Ancak, çok iyi ölçeklenmedikleri ortaya çıktı. Kesin bir referansım yok, ama benim anlayışım, Prolog'un kuralların zincirlenmesini ele alma biçiminin verimsiz olması - taramayı getiren çok büyük yığınlar oluşturmak için yapılan özyinelemeli model.

RETE algoritmasının ve haleflerinin geliştirilmesi, büyük miktarlardaki kuralları işlemek için daha verimli bir yol sağladı ve bu yüzden devralındı.

Belki de modern prolog, erken çalışmaların çoğunun yapıldığı 80'li yıllardan daha verimli olacaktır.

Yanaktaki dil yanıtı: çünkü Kural Motorları'nın yaratıcıları Prolog'u (veya Merkür veya PLANLAYICI veya…) biliyorlarsa, Kural Motorları yazmazlardı, Prolog kullanıyorlardı.

Genellikle, bir kural motorunun amacı, başka bir uygulamanın bir parçası olmasıdır. Prolog'da yazılmış uygulamaları görmek oldukça nadirdir ve Prolog'u diğer dillerde yazılmış uygulamalara bağlamak için yaygın olarak kullanılan bir arayüz yoktur.

Diğer uygulamalara eklenmek üzere yazılan kural motorları için kural tabanlı bir araç CLIPS'dir . CLIPS, OPS5'e dayanıyordu ve budama kuralları için Rete algoritmasını kullanıyor .