Encyclopedia > Logical programming

  Article Content

Logical programming

Logical programming or constraint programming is a programming paradigm in which a set of attributes that a solution should have are specified rather than set of steps to obtain such a solution. A widely used logical programming language is Prolog. Another, more commercial language is Mercury.

Schematically, the process is facts + rules = results. For a different approach, see Inductive logic programming.

The monkey and banana problem[?] is a famous problem studied in the community of logical programming. It is the problem that instead of that programmers explicitly specify the path of how the monkey reaches the banana, the computer actually reason a possible way that the monkey reaches the banana.



All Wikipedia text is available under the terms of the GNU Free Documentation License

 
  Search Encyclopedia

Search over one million articles, find something about almost anything!
 
 
  
  Featured Article
1904

... 19th century - 20th century - 21st century Decades: 1850s 1860s 1870s 1880s 1890s - 1900s - 1910s 1920s 1930s 1940s 1950s Years: 1899 1900 1901 1902 1903 - ...

 
 
 
This page was created in 22.9 ms