Logic programming in C++

There's Prolog online if you want to try it: http://rextester.com/l/prolog_online_compiler