sbprolog      prolog interpreter/compiler