Playing about with logic programming examples in castor
to build 1: cd build 2: cmake ../ (or cmake ..\ in windows) Then type make