Title: Sm Logic and Prolog I/M