Prolog

Prolog esas un ek la precipua programifo-lingui di logikala programigado. La nomo Prolog esas franca akronimo di PROgrammation LOGique. Ol kreesis da Alain Colmerauer, Philippe Roussel e Robert Kowalski cirkume 1972. La skopo di lua kreo esis developar programifo-linguo qua permisus uzar reguli logikala por solvar problemi, e transformar ca reguli en serio di instrukti por la komputero.

Ica seciono od artiklo havas un o plura problemi: - erori pri sintaxo o gramatiko - konfuza texto o mala tradukuro - manko di importanta informi pri la temo - violaco di autoroyuro. Ol mustos revizesar komplete.

Prolog uzesas en multa programi di artifical inteligenteso, ed en la trakto dil linguistiko per komputero (precipue koncernanta naturala lingui). Lua sintaxo e semantiko judikesas kom tre simpla e klara (la skopo esas prokurar utensilo per la linguisti ne-savinta l'neformala). Multa ek la inquesti duktinta al aktuala instalo de Prolog venus di efektis di projeti per la komputeri dil kinesma generaciono ke uzis kom bazo vario.

La bazo di Prolog esas la kalkulo di predicati di unesma rango ; tamen ol esas restriktar ad aceptar sole la klauzi de Horn. L'exekuto di Prolog programo esas efektive apliko di teorio provinta per rezolvo di unesma rango. La fondamenta konceptaji esas l'uneso, la recurzivita, e la retro-veno sur traco.