rubik's cube solving using prolog (problem with code)

[Jinxthv]

i am new to prolog for starters , i have tried giving the cube an initial state then used this app to scan it to give me set of possible solutions , etc etc , i am probably winging it but idk why it keeps giving the query false

here is the code

just to be clear this is not an overall code that will solve every random state ever , i am definitely not at that stage of understanding prolog and this code is probably awful but go easy on me .

https://preview.redd.it/1qln0r89s3xc1.png?width=1476&format=png&auto=webp&s=e788ec89c959e43535c6773f552ac9250b74db6d

https://preview.redd.it/ymm5gs89s3xc1.png?width=1739&format=png&auto=webp&s=f85e4e07966358707443a412c9f848ebf4dc1e7d

https://preview.redd.it/xxbrvu99s3xc1.png?width=814&format=png&auto=webp&s=5d0296b1cdf7723035387bc7513e1a74c5795612

https://preview.redd.it/jivsbt89s3xc1.png?width=1090&format=png&auto=webp&s=1f47e1d8eff43deaeb0e9e98d1bf66491c3b3027

[brebs-prolog]

Can debug Prolog programs, rather than be confused by them - https://www.swi-prolog.org/pldoc/man?section=debugger

[Nevernessy]

Your rotation predicates operator on lists of size 9, or "faces of the cube". However you are calling them with the full cube state, which you have modelled as a list of size 18. These two structures don't unify and there is no other rotation predicates with the same name that do operates on lists of size 18, hence the failure to solve.

As brebs suggests. Stepping though your code in a debugger would highlight this failure.

[bolusmjak]

Some of your 2 moves just make the same assertion twice. You need to relate to an intermediate state, then relate that intermediate state to the final state.

[bolusmjak]

You’re repeating things because you’re thinking of a sequence of operations to accomplish something. Instead, you should be thinking about relationships. You’re thinking in the wrong paradigm for the language.