SPLA/VARIAMOS — pull request #14 by lufe089 (2014-12-16 22:54:00+00:00)
Title: Merge developpment

First implementation of swi prolog solver using Solver interface