#prolog #facts #inference engine #backtracking #declarative programming #knowledge base