"logic programs" . . . "logical programming" . "concurrent logic programming" . "logic program" . "rule-based" . "Logic programming" . . . "Logic programming#Transaction logic programming" . . . . "rule bases" . . . "logic programming languages" . "Logic_programming#Higher-order_logic_programming" . . . "Logic Programming" . "logic-based programming" . . . . . "logic language" . . "logic engine" . "Logic programming#Linear logic programming" . . . . . . "Rule based programming languages" . "logical programming languages" . "Logic" . "logic programming" . . . . "Logic programs" . . "Logic programming" . . . . "Theory and Practice of Logic Programming" . "logic programming rule engines" . . . "logical languages" . "logic languages" . . "logic in computer science" . "Logic programming#Metalogic programming" . . . "logical" . . . . . . . . . "Concurrent Prolog" . . . "Logic_programming#History" . "logic programming language" . . . "Logic-based" . . . . . "logic" . "Logic programming language" . "Logic_programming#Object-oriented_logic_programming" .