In che modo la programmazione logica (specialmente ASP) è correlata al ragionamento nella logica (di primo ordine)?

Question

Come la programmazione logica (https://en.wikipedia.org/wiki/logic_programming, in particolare la programmazione del set di risposte) è correlato al ragionamento nella logica (di primo ordine)? Forse la programmazione logica può essere espressa usando il calcolo Lambda e quindi questa connessione tra programmazione logica e logica ed è espressa come tipo di isomorfismo curry-howard?

Ma forse questa connessione può essere stabilita senza questo bypass?

Forse tale connessione non può essere stabilita, poiché il ragionamento logico è monotonico (scopre solo le costumi che sono implicite nelle premesse iniziali), ma la programmazione logica non è monotonica (afferma nuovi fatti e conoscenze). In tal caso, la programmazione logica è la generalizzazione del ragionamento logico e in quali condizioni (sintattiche) il programma logico diventa insiempedus di formule logiche/teoria logica?