I linguaggi di programmazione logica si prestano in particolar modo agli sviluppi dell'ingegneria delle conoscenze, dato che la loro struttura si adatta efficacemente a quella utilizzata per la formulazione delle regole che guidano e con trollano tali applicazioni. ###>Logic programming languages are particular ly suitable for knowledge engineering since their structure maps closely to the structure used for formulating the rules which guide and control such applications.