• Intelligent Systems - programmi che eseguono compiti utili, servendosi di tecniche di Intelligenza Artificiale .

• Expert Systems - systemi intelligenti che riproducono aspetti del decision-making al livello di esperienze umane.

• Natural Language Systems - che possa analizzare e rispondere a istruzioni fornite in linguaggio naturale. 

• Relational Database Systems

Aree applicative Prolog

- PROLOG è il linguaggi di più alto livello usabile per qualsiasi scopo, oggi.

E' stato molto più specializzato per risolvere problemi di relazioni logiche tra oggetti o entità rilevanti di un dato problema, piuttosto che per eseguire i passi necessari per risolverlo.

Il sistema decide la strada utile per risolvere un certo problema, compresa la sequenza delle istruzioni che il computer dovrà eseguire per risolvero.

E' sicuramente più facile dire ciò che vogliamo sia fatto, lasciando al computer il compito di trovare lui il modo per farlo!

Visto che uno dei maggiori problemi di oggi è incrementare la velocità dei computer, Prolog è un linguaggio ideale per creare prototipi.

Il suo concetto è di usare architetture parallele. Risolve problemi di ricerca della conoscenza (ovvero di ricerche in database) sfruttando la potenza di computer multi-processore per agire contemporaneamente in più parti dello stesso database.