Wat en hoe we het doen.

In deze projectweek gaan wij de zoekruimte van een Rubic's Cube doorzoeken met behulp van Prolog. Wij hopen dat ons programma in staat zal zijn binnen redelijke tijd een oplossing (of misschien zelfs wel alle, of de meest optimale oplossing) zal geven voor een cube probleem.

Wij zullen verschillende methoden voor het oplossen van de Rubic's Cube implementeren in Prolog. Hiervoor gebruiken wij onder andere onze supercomputer(s):

Maar ook SWI-prolog versie 5.10.1 64-bit en de text-editor 'gedit' (versie 2.30.2).

Wij hebben onze implementaties gebaseerd op het Thistlethwaite's Algorithm en de ZZ method naar Zbigniew Zborowski. Over de eerste hebben wij ons op wikipedia ingelezen op deze pagina en de ZZ methode wordt op deze pagina mooi uitgelegd.