International Workshop On Logic Program