Logic Programming in the 1970s

摘要: Logic programming emerged in the 1970s from debates concerning procedural versus declarative representations of knowledge artificial intelligence. In those days, were associated mainly with bottom-up proof procedures, such as hyper-resolution. The development logic showed that could be obtained by applying top-down linear resolution, to logical form. In recent years, has become more purely declarative, answer set programming, tabling and revival datalog. These developments invite comparison earlier attempts reconcile knowledge, raise question whether anything been lost.