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