Skip to content

Latest commit

 

History

History
12 lines (9 loc) · 801 Bytes

README.md

File metadata and controls

12 lines (9 loc) · 801 Bytes

Files for my third year project

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.

Running eight puzzle

Use swipl and try something like start(B),bestfirst(B,Sol),showsol(Sol).

Generalting traces

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