Logic programming Summary

Everything you need to understand or teach Logic programming.

  • 1 Encyclopedia Article

Study Pack

The Logic programming Study Pack contains:

Encyclopedia Articles (1)

730 words, approx. 3 pages
Logic Programming An important advance in 20th-century mathematical logic was achieved in 1965 when J.A. Robinson introduced the resolution calculus as a method for mechanical theorem-proving. This ca... Read more