Пролог (забони барноманависӣ): Тафовут байни таҳрирҳо
Content deleted Content added
х Bot: Removing Link FA template |
No edit summary Барчасбҳо: вироиш тавассути телефони ҳамроҳ вироиш тавассути мурургари телефони ҳамроҳ |
||
Сатри 1:
'''Пролог''' (''Prolog'') — язык [[логическое программирование|логического программирования]], основанный на логике [[дизъюнкты Хорна|дизъюнктов Хорна]], представляющей собой подмножество [[логика первого порядка|логики предикатов первого порядка]].
|