BrainBash | A heavily optimizing Brain * * * * interpreter written in Bash | Interpreter library

I have been working on this Prolog logic problem for awhile. It is getting incorrect results and it is taking awhile to run the program itself which is what concerns me more. The logic problem goes as follows:

Alex, Bret, Chris, Derek, Eddie, Fred, Greg, Harold, and John are nine students who live in a three story building, with three rooms on each floor. A room in the West wing, one in the centre, and one in the East wing. If you look directly at the building, the left side is West and the right side is East. Each student is assigned exactly one room. Can you find where each of their rooms is:

1. Harold does not live on the bottom floor.
2. Fred lives directly above John and directly next to Bret (who lives in the West wing).
3. Eddie lives in the East wing and one floor higher than Fred.
4. Derek lives directly above Fred.
5. Greg lives directly above Chris.

Here is the code that I have written, that takes awhile to complete and gives incorrect results: