This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: 15. What are the differences between CONS, LIST, and APPEND? CONS builds a list from either atoms or other lists, APPEND constructs a new list by combining 2 other lists together, and LIST tests whether or not a single argument is a list or something else. Chapter 16 5. What are the forms of Horn clauses? Horn clauses can only be in one of two forms. First, they have a single atomic preposition on the left side or second, they have an empty left side. Horn clauses with left sides are called headed horn clauses. 7. What are the three forms of a prolog term? The three forms of a prolog term are 1. a constant string of letters, digits, and underscores beginning with a lowercase letter,2. a variable of any string of letters, digits, and underscores beginning with an uppercase letter, or 3. a structure representing atomic proposition. The general form is consequence :- antecedent_expession...
View Full Document
- Spring '09
- lambda expression, Horn clauses