Пралог (мова праграмавання)

З пляцоўкі Вікіпедыя
Перайсці да: рух, знайсці

ПРАЛОГ, таксама ПРОЛОГ (англ.: PROLOG; PROgramming in LOGic) — лагічная мова праграмавання агульнага прызначэння. Прымяняецца ў сістэмах штучнага інтэлекту і вылічальнай лінгвістыкі.[1][2][3]

Пралог — дэкларатыўная мова праграмавання: каманды Пролога вызначаюць, як звязаны розныя аб'екты, у той час як працэдурныя мовы вызначаюць шлях развязання праблемы. Адносіны паміж аб'ектамі прадстаўляюцца фактамі і правіламі. Вылічэнні ініцыююцца шляхам запуску «запыту» над гэтымі сувязямі.[4]

Зноскі

  1. Clocksin, William F.; Mellish, Christopher S. (2003). Programming in Prolog. Berlin ; New York: Springer-Verlag. ISBN 978-3-540-00678-7. 
  2. Bratko, Ivan (2001). Prolog programming for artificial intelligence. Harlow, England ; New York: Addison Wesley. ISBN 0-201-40375-7. 
  3. Covington, Michael A. (1994). Natural language processing for Prolog programmers. Englewood Cliffs, N.J.: Prentice Hall. ISBN 978-0-13-629213-5. 
  4. Lloyd, J. W. (1984). Foundations of logic programming. Berlin: Springer-Verlag. ISBN 3-540-13299-6. 

Крыніцы[правіць | правіць зыходнік]

  • Савіцкі М. Тлумачальны слоўнік па інфарматыцы: / Мікола Савіцкі. Мн.: Энцыклапедыкс. 2009. ISBN 978-985-6742-83-8