logic programming
  邏輯程式設計
  logic programming
       n 1: a computer language designed in Europe to support natural
            language processing [syn: Prolog, logic programing]
       2: creating a program that enables the computer to reason
          logically