Co je logické programování?

Logické programování je paradigma počítačového programování, ve kterém programové příkazy vyjadřují fakta a pravidla o problémech v rámci systému formální logiky. Pravidla jsou psána jako logické klauzule s hlavou a tělem; například, "H je pravdivý jestliže B1, B2 a B3 jsou pravdivé." Fakta jsou vyjádřena podobně jako pravidla, ale bez těla; například "H je pravda."

Některé logické programovací jazyky jako Datalog a ASP (Answer Set Programming) jsou čistě deklarativní - umožňují výpisy o tom, čeho by měl program dosáhnout, bez výslovných instrukcí o tom, jak postupovat. Jiní, jako je Prolog, jsou kombinací deklarativních a imperativů - mohou také zahrnovat procedurální výroky, jako například „Řešit H, řešit B1, B2 a B3“.

Jazyky používané pro logické programování

  • Absys
  • ALF (funkční programovací jazyk algebraické logiky).
  • Ladění algoritmického programu
  • Alice
  • Alma-0
  • ASP (Programování sady odpovědí)
  • ČIP
  • Čau
  • CLACL
  • Cykl
  • Datalog
  • Datomic
  • DLV
  • Zatmění
  • F-logika
  • Flora-2
  • Fril
  • FuzzyCLIPS
  • Gödel
  • HiLog
  • Janus
  • Log Prolog
  • Logtalk
  • Maude systém
  • Rtuť
  • Kov
  • Mozart programovací systém
  • Oz
  • Parlog
  • Plánovač
  • PROGOL
  • Prolog
  • Prolog ++
  • Prova
  • .QL
  • Rebeca modelovací jazyk
  • ROOP
  • SICStus Prolog
  • SWI-Prolog
  • ToonTalk
  • Transakční logika
  • Dvanáct
  • Visual Prolog
  • XSB

Jazyk, logika, paradigma, programovací termíny