MyDataFarming







Definitions of logic:
  • noun:   reasoned and reasonable judgment
    Example: "It made a certain kind of logic"
  • noun:   a system of reasoning
  • noun:   the principles that guide reasoning within a given field or situation
    Example: "Economic logic requires it"
  • noun:   the branch of philosophy that analyzes inference



more on this topic on answers.com

Alternative Terms
prolog-logic-programing-logic-programming prolog logic-programing logic-programming optimization linear-programming mccarthy-john advice-taker backward-reasoning fischer-black stanford-university university-of-edinburgh j-alan-robinson syracuse-university patrick-j-hayes robert-kowalski massachusetts-institute-of-technology marvin-minsky seymour-papert planner-programming-language gerald-jay-sussman eugene-charniak terry-winograd shrdlu algebraic-logic-functional-programming-language fril g-del mercury-programming-language visual-prolog xsb constraint-logic-programming datalog alain-colmerauer keith-clark jack-minker raymond-reiter david-h-d-warren marseille sld-resolution horn-clause lisp-programming-language international-organization-for-standardization negation-as-failure circumscription closed-world-assumption stable-model-semantics answer-set-programming and-or-tree knowledge-representation non-monotonic-logic situation-calculus event-calculus abductive-logic-programming abductive-reasoning fifth-generation-computer higher-order-programming higher-order-logic linear-logic formal-methods functional-programming inductive-logic-programming programming-paradigm common-sense programming-language array-programming assembly-language compiled-language concurrent-computing curly-bracket-programming-language data-structured-language non-procedural-language esoteric-programming-language interpreted-language machine-code macro-computer-science metaprogramming multi-paradigm-programming-language non-english-based-programming-languages object-oriented-programming-language prototype-based-programming off-side-rule procedural-language reflection-computer-science synchronous-programming-language scripting-programming-language domain-specific-programming-language visual-programming-language dataflow-programming imperative-programming programming computer-theory operator finite-mathematics-2 system-documentation programmable-decade-resistor international-conference-on-logic-programming dlv chip-programming-language curry-programming-language model-elimination