modellierung PrologV100.0