„Prolog“: Munur á milli breytinga

'''Prolog''' ([[franska]]: ''PROgramation et LOGique'') er [[forritunarmál]] sem á rætur að rekja til hóps í kringum franska tölvunarfræðinginn [[Alain Colmerauer]] við háskólans í [[Marseille-Aix]] og kom fram árið [[1972]]. Þróun þess er nátengd rannsóknum í [[gervigreind]] og [[tungutækni]], einkum [[málgreining]]u, en það hefur líka verið notað meðal annars við þróun [[sérfræðikerfi|sérfræðikerfa]], hugbúnaðar fyrir [[sjálfvirk sönnun|sjálfvirkar sannanir]], [[tölvuleikur|leiki]], og [[símasvörunsímsvörun]]arkerfi og svo framvegis.

Prolog tilheyrir flokki [[rökforritunarmál]]a. Það eru einungis þrjár „byggingareiningar“ í Prolog: [[Staðreyndstaðreynd]]ir, [[Regla|reglur]] og [[fyrirspurn]]ir. Safn af staðreyndum og reglum er kallað [[þekkingargrunnur]] og lýsir venslum í því viðfangsefni sem þekkingargrunnurinn snýst um. Forritun í Prolog snýst um það að skrifa slíka þekkingargrunna. Notkun Prolog-forrita felst í því að spyrja þekkingargrunninn um þær upplýsingar sem í honum eru.