פרולוג/רשימת מושגים

עברית[1] אנגלית[2]
מידע Information
תא Relation
עובדה Fact
שאילתה Query
תא Goal
מצב Situation
תכנית Program
תא Logical consequence
דדוקציה Deduction
אינדוקציה Induction
זהות Identity
משתנה לוגי Logical variable
מונח Term
מבנה Structure
תא Functor
הורשה Inheritance
חוק Rule
אטום Atom
מוסכמה תחבירית Syntactical convention
שדה Arity
תא Ground
תא Nonground
הצבה Substitution
תא Instance
הכללה Generalization
תא Instantiation
תא Common instance
תא Conjunctive query
תחביר Syntax
מבנה נתונים מופשט Abstract data-type
פסוק Proposition
שפת תכנות תהליכית Procedural programming language
שפת תכנות הצהרתית Declarative programming language
תחשיב e
טענה e
כלל היסק e
הוכחה תקפה e
מתאר e
רשימה List
מארז e
קבוצה e
רב-קבוצה e
עץ Tree
גרף Graph
הצרנה e
מפרש Interpreter
תורת ההיגיון Logic
הצרנה Formulation


מקורות

עריכה
  1. ^ לוקט מתוך: זהבה שרץ ואחרים, תכנות לוגי (פרולוג), הוצאת מכון ויצמן, 1997.
  2. ^ לוקט מתוך: Sterling, L., Shapiro, E., The Art of Prolog, 1994.