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