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
- Ulf Nilsson and Jan Maluszynski, Logic, Programming and Prolog
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads