Typed SLD-Resolution: Dynamic Typing for Logic Programming.

Joo Barbosa, Mrio Florido, Vtor Santos Costa

Browse the full LOPSTR paper archive.