CSLI
COGLUNCH
on Thursday, 8 May
2008, 12 noon - 1:00pm
Cordura
Hall 100
http://www-csli.stanford.edu/events/Coglunch/
Development of Logic Programming:
What went wrong, What was done about it, and
What it might mean for the future
Carl Hewitt
MIT (Emeritus)
Logic Programming
can be broadly defined as “using logic to
deduce computational steps from existing propositions.” The idea has a long
history, which went through many twists and turns. In these developments
important questions turned out to have surprising answers including the
following:
·
Is
computation reducible to logic?
·
Are
the laws of thought consistent?
This talk
describes what went wrong at various points, what was done about it, and what
it might mean for the future of Logic Programming.
External
Links