operator/sate world to implememnt the eight queens problem

I want help with writing the opeartors and states includiing its precondition and action for the eight queens problem where the queens must not be in conflict. that is placing 8 pieces (the queens) on an 8 by 8 chess board. the pieces must be placed so that no 2 are in the same row, column or diagonal. this should be in LISP

attAched is an example file of how it is supposed to be represented.