שָׂפה לא־נוֹהֳלית מחשבים ומערכות מידע
לועזית: non-procedural language

שפת תכנות שבה יכול התוכניתן לנסח את הבעיה מבלי להיות כפוף לחוקים נוקשים, והשפה תייצר את הפתרון הלוגי המדויק.