Loogiline programmeerimine

From Wikipedia, the free encyclopedia

Remove ads

Loogiline programmeerimine on laiemas mõistes matemaatilise loogika kasutamine programmeerimiseks. Kitsamas mõistes on tegemist programmeerimise paradigmaga, mis põhineb automaatsel teoreemide tõestamisel.

Tuntuim loogilise programmeerimise keel on Prolog.

Välislingid

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads