Copyright Martijn van Oostehout <kleptog@svana.org> 2001-2006

This package contains prolog code for solving the cube puzzle. For a full
description see:

http://svana.org/kleptog/puzzles/cube.html

Usage:

Start prolog and load  either bigcube.plg or cube.plg depending on whether
you want the small or the big cube. If you use the small cube, you need to
change the commenting to select the cube you want to solve.

You need to load output.plg seperately if you wish to display the output.

Transcript:
$ prolog
Welcome to SWI-Prolog (Multi-threaded, Version 5.2.13)
Copyright (c) 1990-2003 University of Amsterdam.
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
and you are welcome to redistribute it under certain conditions.
Please visit http://www.swi-prolog.org for details.

For help, use ?- help(Topic). or ?- apropos(Word).

?- ['cube.plg'].
%  cubestuff.plg compiled 0.01 sec, 16,456 bytes
% cube.plg compiled 0.01 sec, 25,012 bytes

Yes
?- ['output.plg'].
% output.plg compiled 0.00 sec, 8,528 bytes

Yes
?- findsolution(X), drawsolution(X).
        xx x
         xxxx
        xxxx
         xxx
@ @  % %xx#xx&&
@@@@%%%%#####&&&
 @@@@%%%%###&&&&&
@@@@@%%%#####&&&
 @ @  % #*#*#&&
        ****
         ***
        *****
        * * *

X = [[o-3, p6, 2/up], [o-2, p5, 1/up], [o-6, p4, 0/up], [o-4, p3, 2/dn], [o-5, p2, 3/up], [o-1, p1, ... /...]] 

Yes
?- 
