O'Reilly logo

Programming with Higher-Order Logic by Gopalan Nadathur, Dale Miller

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

1

First-order terms andRepresentations of Data

Our initial discussion of logic programming focuses on first-order languages. In this chapter, we limit our attention to the capabilities for representing data that are present in such languages. These capabilities are provided for by first-order terms. The terms that we use in our exposition of data representation here are similar to those in a conventional logic programming language such as Prolog with one difference: We shall be interested in a typed version of these terms. In the first two sections that follow, we describe the structure of the types that are employed to classify terms. Section 1.3 then introduces typed first-order terms, and the following section discusses the pragmatics of using ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required