Planner — перша мова логічного програмування, була розроблена в 1969 році. На початку 1970-х був розроблений Пролог, який згодом став найпоширенішою мовою логічного програмування зі стандартом ISO, затвердженим у 1995 році. Визначення Неформальне визначення