Tag: logical programming in c language