Migrated first part of SWI prolog solver
first version of SWIProlog solver
added first version of SWIPrologSolver