VSP

Very Simple Prolog+.