Prolog дәлелдеушісі

otherentity ID: prologprover

Шығыс байланыстар

Байланыс	Мақсатты нысан	Түрі	Әрекеттер
uses	Сөйлем кодтаушылары	method	Көру