Съдържание 
 

ПРОМЕНЛИВИ И ОЦЕНКИ НА ПРОМЕНЛИВИТЕ

      Един определен вид думи над основната азбука на Пролог ще наричаме променливи. Така ще наричаме думите над тази азбука, започващи с главна латинска буква или със знака _. Множеството на всички променливи ще означаваме с Ξ. Очевидно множеството Ξ няма общи елементи с множеството на функционалните символи и с множеството на предикатните символи на коя да е сигнатура.

      Забележка 1. Когато искаме конкретните променливи от нашите разглеждания да могат да се използват без проблеми в Strawberry Prolog, трябва да избягваме еднобуквената променлива  _  и онези променливи, които започват с думата  G_.  Такова самоограничаване се налага поради особената роля в Strawberry Prolog на току-що споменатите променливи (знакът  _  е тъй наречената анонимна променлива, а променливите, започващи с  G_,  са тъй наречените глобални променливи).

      Ако D е някое множество, ще наричаме оценка на променливите в D всяко изображение на множеството Ξ на променливите в множеството D. Казано интуитивно, с избора на такова изображение ние избираме кои обекти от D да бъдат означени с отделните променливи в даден конкретен случай (за да избегнем някои усложнения в теоретичните разглеждания, приели сме да правим това за всичките безбройно много променливи от Ξ, въпреки че обикновено на практика във всеки конкретен случай се използват само краен брой променливи).

      За произволна оценка v на променливите в множеството D, произволна променлива ξ и произволен елемент d на D ние ще въведем наименование и означение за онази оценка на променливите в D, която съпоставя на променливата ξ елемента d, а за всички други променливи съвпада с v. Ще наричаме така описаната оценка модификация на v върху ξ чрез d и ще я означаваме с vd].

      Забележка 2. Ако v е оценка на променливите в дадено множество D, а ξ е променлива, то очевидно модификацията на v върху ξ чрез елемента v(ξ) на D съвпада с v.

      Когато е дадена една структура S, оценките на променливите в носителя на S ще наричаме още техни оценки в S. Ще наричаме конфигурация всяка наредена двойка (S,v), където S е структура, а v е оценка на променливите в S. Под сигнатура на една конфигурация ще разбираме сигнатурата на нейния пръв член.

Последно изменение: 22.02.2008 г.