Tag: logical programming in c