Perché i motori delle regole non sono scritti in Prolog? [chiuso]

Da quello che ho visto di Prolog, sembra che sarebbe l'ideale per creare un motore di regole per un'app. Tuttavia, non credo di aver mai visto un motore di regole scritto in Prolog. Esistono alcune limitazioni intrinseche in Prolog (ad es. Un algoritmo di raccolta dei rifiuti scadente) che ne impedirebbe l'utilizzo per costruire un motore di regole?

I motori delle regole nella loro infanzia sono stati scritti quasi esclusivamente in Prolog - era il linguaggio logico. Per un piccolo insieme di regole hanno funzionato alla grande. Tuttavia, si è scoperto che non si adattavano molto bene. Non ho un riferimento definitivo, ma la mia comprensione è che il modo in cui Prolog gestisce il concatenamento delle regole è inefficiente: il modello ricorsivo creato per creare stack molto grandi che lo hanno portato a gattonare.

Lo sviluppo dell'algoritmo RETE e dei suoi successori ha consentito un modo più efficiente di elaborare grandi quantità di regole, e così ha preso il sopravvento.

Forse il prologo moderno sarebbe più efficiente rispetto agli anni '80, quando la maggior parte dei primi lavori fu terminata.

Risposta ironica: perché se i creatori di Rules Engines fossero a conoscenza di Prolog (o Mercury o PLANNER o ...) non avrebbero scritto Rules Engines, avrebbero usato Prolog.

Generalmente, il punto di un motore di regole è che fa parte di un'altra applicazione. È piuttosto raro vedere applicazioni scritte in Prolog e non esiste un'interfaccia comunemente disponibile per connettere Prolog ad applicazioni scritte in altre lingue.

Uno strumento basato su regole per i motori di regole, che è stato scritto per essere aggiunto ad altre applicazioni, è CLIPS . CLIPS era basato su OPS5 e utilizza l' algoritmo Rete per le regole di potatura.