PROLOG

Sunʼiy tafakkur masalalarida foydalaniladigan yuqori pogʻonadagi dasturlash tili. “Mantiq tushunchalarida dasturlash” tili, PROLOG (PROgramming LOGic) mantiqiy fikrlardan va qoidalar majmuasidan iborat. Fikrlar shartlardan (predikatlardan), bogʻlanmalardan, doimiylardan iborat boʻlib, maʼlumotlar bazasini tashkil qiladi. Tilning asosiy elementi - “atom” deb nomlangan element, u ayrim obyektlar orasidagi munosabatlarni ifodalaydi. PROLOG tili yordamida dasturchi bevosita tushunchalar orasidagi mantiqiy aloqalar bilan ish tutadi.