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

מטרת מאמר זה היא לבחון את ההקבלה בין מבנה של טקסט טיעון לבין מבנה של תכנית לוגית הכתובה בפרולוג – שפה תכנות לוגית (תכנות בלוגיקה, PROgramming in LOGic). אם אכן קיימת הקבלה כזו, אזי אפשר לבחון את השפעת הלמידה של כלי היסק לוגיים (באמצעות פתרון בעיות בתכנות לוגי) על יכולתם של התלמידים להבין טקסט טיעון בשפה הטבעית, או להיפך (גילה שילה, נוע רגוניס).