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

עברית	אנגלית
מידע	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