Programs

• 1 January 1987
• book chapter
• Published by Springer Nature
• p. 107-140
• https://doi.org/10.1007/978-3-642-83189-8_4

Abstract

Keywords

• PROGRAMS AND GOALS
• ARBITRARY
• FORMULA
• SOUNDNESS
• SLDNF
• STATEMENTS
• RESOLUTION
• FINITE
• DECLARATIVE