[prolog] Le predicat assert en prolog

Version imprimable