This repo contains variouse files for my third year project. At the time of writing this readme the repo contains a prolog eight puzzle solver and a parser in Ocaml that transforms Game Description Language (GDL) into Prolog.
Use swipl and try something like start(B),bestfirst(B,Sol),showsol(Sol).
Run the python trace preludes file to clear out the old traces and generate the prelude. Use swipl and run start(B),bestfirst(B,Sol),write_trace_to_file(Sol).. This will put the traces into the runner at runner/data/train/eight_puzzle
swipl -s prologtest.pl -g goal2 -g goal1 -t halt
run sancho with main_runner.py gen_games 'number of repeats' the game traces will be put in the directory you are in