(PROgramming in LOGic)
rekurencyjny jezyk programowania wysokiego poziomu urzeczywistniajacy koncepcje Ä programowania w logice, sluzacy do budowania Ä systemów ekspertowych, m.in. do eksperymentowania w dziedzinie Ä sztucznej inteligencji. Opracowany we Francji w koncu lat szescdziesiatych XX w. Zob. tez Datalog, Simula, jezyki programowania.