Explore relationships

Logic programming

Programming paradigm based on formal logicLogic programming is a programming, database, and knowledge representation paradigm based on formal logic. A logic program is a set of sentences in logical form, representing knowledge about some problem domain.

Use + to expand a branch. Click a topic name to open its summary.