logické programování

Informatika

Typ vyspělého programovacího jazyka 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 hlavních požadavků na logické programování 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). Logické programování lze aplikovat zejména 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ů.

Vytvořeno: 14. 3. 2000
Aktualizováno: 6. 4. 2024
Autor: -red-