Yahoo Web Search

Search results

1. en.wikipedia.org › wiki › Logic_programmingLogic programming - Wikipedia

   en.wikipedia.org › wiki › Logic_programming

   • Cached

   Logic programming. Logic 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. Computation is performed by applying logical reasoning to that knowledge, to solve problems in the domain.

   • Syntax and semantics

     Syntax and semantics of logic programming. Logic programming...

   • Prolog

     Prolog is a logic programming language that has its origins...

   • Inductive logic programming

     Inductive logic programming. Inductive logic programming (...

   • Category:Logic programming languages

     This category lists programming languages that support the...

   • Logic

     Logic programming languages are designed specifically to...

2. simple.wikipedia.org › wiki › Logic_programmingLogic programming - Simple English Wikipedia, the free ...

   simple.wikipedia.org › wiki › Logic_programming

   • Cached

   Logic programming. Logic programming is using mathematical logic to write computer programs. There are specialized programming languages where the user can directly enter logical statements. Probably the best-known of these languages is called Prolog. Alonzo Church used a form of logic programming in what is known as lambda calculus today.

3. People also ask

   What is a logic programming language?

   • Logic programming languages are designed specifically to express facts using logical formulas and to draw inferences from these facts. For example, Prolog is a logic programming language based on predicate logic. Computer scientists also apply concepts from logic to problems in computing.

   Logic - Wikipedia

   en.wikipedia.org/wiki/Logic

   See all results for this question

   What is a logic program?

   • A logic program is a set of sentences in logical form, representing knowledge about some problem domain. Computation is performed by applying logical reasoning to that knowledge, to solve problems in the domain. Major logic programming language families include Prolog, Answer Set Programming (ASP) and Datalog.

   Logic programming - Wikipedia

   en.wikipedia.org/wiki/Logic_programming

   See all results for this question

   What are the different types of logic programming languages?

   • Computation is performed by applying logical reasoning to that knowledge, to solve problems in the domain. Major logic programming language families include Prolog, Answer Set Programming (ASP) and Datalog. In all of these languages, rules are written in the form of clauses : A :- B 1, ..., B n.

   Logic programming - Wikipedia

   en.wikipedia.org/wiki/Logic_programming

   See all results for this question

   What are the applications of logic programming?

   • However, many applications of logic programming, including Prolog applications, increasingly focus on the use of logic to represent purely declarative knowledge. These applications include both the representation of general commonsense knowledge and the representation of domain specific expertise .

   Logic programming - Wikipedia

   en.wikipedia.org/wiki/Logic_programming

   See all results for this question