Loginis programavimas

Loginis programavimas

Loginis programavimas yra kompiuterio programavimo paradigma, kur programa teiginiai išreiškia faktus ir taisykles apie formalios logikos sistemos problemas. Taisyklės rašomos kaip loginiai sakiniai su galva ir kūnu; pavyzdžiui, „H tiesa, jei B1, B2 ir B3 yra teisingi“. Faktai yra išreikšti panašiai kaip taisyklės, bet be kūno; pavyzdžiui, „H tiesa“.

Kažkokia logika programavimo kalbos , tokie kaip „Datalog“ ir ASP („Answer Set Programming“), yra grynai deklaratyvūs. Jie leidžia teiginius apie tai, ką programa turėtų atlikti, be aiškių nuoseklių instrukcijų, kaip tai padaryti. Kiti, pavyzdžiui, „Prolog“, yra deklaratyvaus ir imperatyvaus derinys. Jie taip pat gali apimti procedūrinius teiginius, tokius kaip „Norėdami išspręsti H, išspręskite B1, B2 ir B3“.



Logikos programavimui naudojamos kalbos

  • Absysas
  • ALF (algebrinė loginė funkcinė programavimo kalba).
  • Algoritminės programos derinimas
  • Alisa
  • Siela-0
  • ASP (atsakymų rinkinio programavimas)
  • ČIPAS
  • Sveiki
  • CLACL
  • CycL
  • Datalogas
  • Datomic
  • DLV
  • Užtemimas
  • F-logika
  • Flora-2
  • Frilas
  • „FuzzyCLIPS“
  • Gödelis
  • „HiLog“
  • Janus
  • & Lambda; Prologas
  • „Logtalk“
  • Maude sistema
  • Merkurijus
  • Metalas
  • „Mozart“ programavimo sistema
  • Ozas
  • „Parlog“
  • Planuotojas
  • PROGOL
  • Prologas
  • „Prolog ++“
  • Testas
  • .QL
  • „Rebeca“ modeliavimo kalba
  • STOGAS
  • SICStus Prolog
  • SWI-Prologue
  • „ToonTalk“
  • Operacijų logika
  • Dvylika
  • Visual Prolog
  • XSB