Overview of logical programming technologies and structures, including operators and functions in C++, with an example program structure