C-like logic language