10-й международный семинар по программируемой логике и ее применению