عرض مصطلح معلوماتية

لغة برمجة منطقية | logic programming language
لغةُ برمجةٍ، تُستخدم للتعبير عن برامج بدلالةِ بانيات تحكُّم وحساب مقيّد لمحمول predicate، مثال ذلك: PARLOG، أو PROLOG، أو STRAND.