Before revision: Logic programming is a programming, database and knowledge representation paradigm based on formal logic.
After revision: Logic progrmming is a programming, database and knowledge representation paradigm based on formal logic.