Deklarativ tillarga tegishli bo‘lgan dasturlash tili; mantiqiy xulosa qoidalari va kirish ma’lumotlari o‘r-tasidagi munosabatlarni belgilash asosida qurilgan.

Декларатив тилларга тегишли бўлган дастурлаш тили; мантиқий хулоса қоидалари ва кириш маълумотлари ўртасидаги муносабатларни белгилаш асосида қурилган.

Язык программирования, относящийся к декларативным; построен на задании отношений между входными данными и правилами логического вывода.

logical programming language