New post in Swi-prolog