lekötési lista

Kapcsolódó fogalmak: 
elsőrendű logika
Kapcsolódó fogalmak: 
term
Rövid szöveges bemutatás: 
Az elsőrendű logikában általában kvantorok segítségével fogalmazunk meg állításokat. Az állításokat pedig igyekszünk minél általánosabb formában leírni, tehát minél több választható paraméterrel. Egy konkrét megoldási eljárásban pedig ezeknek a paramétereknek keressük meg a lehetséges értékeit. Ez a folyamat a behelyettesítés vagy lekötés. Amikor keressük egy paraméter lehetséges behelyettesítéseit, és nem csak egyetlen ilyen behelyettesítés, hanem több is van, akkor kapjuk vissza a lekötési listát. Például az az állítás, hogy {Létezik x, Keres(Tamás, x)}, akkor egy lekötési lista lehet: {x/Kulcs, x/Telefon, x/Kenyér, stb...}.