logic programming

logic programming definitions

noun
  • Programming with a paradigm that bases on formal logic