it's built on creating a knowledgebase (database) of facts, and asking prolog to see if it can find solutions that satisfy all your constraints.