2 papers
cs.PL2022
Typed SLD-Resolution: Dynamic Typing for Logic Programming
João Barbosa, Mário Florido, Vítor Santos Costa
The semantic foundations for logic programming are usually separated into two different approaches. The operational semantics, which uses SLD-resolution, the proof method that comp…
cs.PL2022
Fifty Years of Prolog and Beyond
Philipp Körner, Michael Leuschel, João Barbosa +8
Both logic programming in general, and Prolog in particular, have a long and fascinating history, intermingled with that of many disciplines they inherited from or catalyzed. A lar…