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 calculus underlies most of the work that has gone on in automated...

Logic programming (which might better be called logical programming by analogy with mathematical programming and linear programming) is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming,...

Abstract In this work a compiler from fork specifications into logic programs is presented. The technique implemented by the compiler consists of transforming a set of fork equations (with some restrictions) into normal logic programs in such a way that the semantics...

Oregon to help market shops qualifying for green business program Oregon has taken its Portland-based Eco-Logical Business Program state-wide. For the past five years, the program has helped dozens of Portland-area shops upgrade their operations to significantly reduce solid waste and emissions. State...