Merge developpment

First implementation of swi prolog solver using Solver interface