Our website is made possible by displaying online advertisements to our visitors.
Please consider supporting us by disabling your ad blocker.
Loogiline programmeerimine
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.
Previous Page Next Page
