A Formal Associative Model of Logic Programming and its Abstract Instruction Set.

Arvind K. Bansal, P. V. Lokam, M. N. Ghandikota

Browse the full ICTAI paper archive.