Title: De Saram Programming in Micro-Prolog