Пралог (мова праграмавання): Розніца паміж версіямі

Змесціва выдалена Змесціва дададзена

Лінейны

Версія ад 22:14, 29 сакавіка 2016

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

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

Зноскі

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

Крыніцы

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

[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.

[lloyd84-4] Lloyd, J. W. (1984). Foundations of logic programming. Berlin: Springer-Verlag. ISBN 3-540-13299-6.

[1]

[2]

[3]

[4]