Azərbaycanca
Беларускі
Dansk
Deutsch
Española
Français
Indonesia
Italiana
日本語
Қазақ
Lietuvos
Nederlands
Português
Русский
සිංහල
แบบไทย
Türkçe
Українська
中國人
United State
Afrikaans
DLV-система (від англ. DataLog with Disjunction, де використовується символ диз'юнкції V) є диз'юнктивною системою логічного програмування, яка реалізує семантику стійких моделей з використанням парадигми програмування наборами відповідей. Система розширює мову datalog і дозволяє використання АБО в правилах. У підручнику наведено простий приклад моделювання сміху, коли розповідається про жарт.
жарт сміятися: - жарт.
Наступне означає ситуацію, коли жарту не було сказано.
сміятися: - жарт.
Оскільки значення жарту не вказується як істинне у другій програмі, то воно вважається хибним за умовчанням.
Посилання
- DLV user manual [ 17 грудня 2017 у Wayback Machine.]
- DLV Tutorial [ 19 грудня 2017 у Wayback Machine.]
 | Це незавершена стаття про мови програмування. Ви можете проєкту, виправивши або дописавши її. |
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
DLV sistema vid angl DataLog with Disjunction de vikoristovuyetsya simvol diz yunkciyi V ye diz yunktivnoyu sistemoyu logichnogo programuvannya yaka realizuye semantiku stijkih modelej z vikoristannyam paradigmi programuvannya naborami vidpovidej Sistema rozshiryuye movu datalog i dozvolyaye vikoristannya ABO v pravilah U pidruchniku navedeno prostij priklad modelyuvannya smihu koli rozpovidayetsya pro zhart zhart smiyatisya zhart Nastupne oznachaye situaciyu koli zhartu ne bulo skazano smiyatisya zhart Oskilki znachennya zhartu ne vkazuyetsya yak istinne u drugij programi to vono vvazhayetsya hibnim za umovchannyam PosilannyaDLV user manual 17 grudnya 2017 u Wayback Machine DLV Tutorial 19 grudnya 2017 u Wayback Machine Ce nezavershena stattya pro movi programuvannya Vi mozhete dopomogti proyektu vipravivshi abo dopisavshi yiyi