logické programování
logické programování, teorie počítačů typ vyspělého programovacího jaz. navrženého koncem 70.let s předpokládaným využitím pro počítače tzv. páté generace. Jedním z hl. požadavků na l. p. je tzv. deklarativní charakter definování algoritmů (není nutno rozepisovat, jak má být cíl splněn, ale specifikuje se pouze to, co má být dosaženo). L. p. lze aplikovat zejm. na systémy tzv. umělé inteligence (expertní systémy, systémy řízené vzory, systémy pro dokazování teorémů, systémy učící se strukturální popisy, syntézu programů. V souč. době se l. p. nejvíce přibližuje PROLOG (PROgramming in LOGic).
