Logical Programming With C++