1. 1 Visual Prolog Programs LabLecture # 3 Lecturer : Sheriff Nafisa TA : Mubarakah Otbi, Duaa al Ofi, Huda al Hakami

2. 2 In this lecture|: Visual Prolog's Basic Program Sections –The Clauses Section –The Predicates Section –The Domains Section –The Goal Section A Closer Look at Declarations and Rules Other Program Sections –The Facts Section –The Constants Section –The Global Sections

3. 3 Visual Prolog Programs: Introduction The syntax of Visual Prolog is designed to express knowledge about properties and relationships. You've already seen the basics of how this is done; in LabLecture2 you learned about clauses (facts and rules), predicates, variables, and goals. Visual Prolog is a typed Prolog compiler; you declare the types of the objects that each predicate applies to. The type declarations allow Visual Prolog programs to be compiled right down to native machine code, giving execution speeds similar to those of compiled C and pascal.

4. 4 Visual Prolog's Basic Program Sections Visual Prolog program includes four basic program sections: The clauses section The predicates section The domains section The goal section.

5. 5 A Visual Prolog program has the following basic structure: DOMAINS /*... domain declarations... */ PREDICATES /*... predicate declarations... */ CLAUSES /*... clauses (rules and facts)... */ GOAL /*... subgoal_1, subgoal_2, etc. */

6. 6 DOMAINS argument_type1,..., argument_typeN = argument_1,..., argument_N) = ; ; PREDICATES predicateName(argument_type1, argument_type2,..., argument_typeN) CLAUSES clauses (rules and facts) GOAL subgoal_1, subgoal_2, etc.

7. 7 The clauses section: The clauses section is the heart of a Visual Prolog program; this is where you put the facts and rules that Visual Prolog will operate on when trying to satisfy the program's goal.

8. 8 The predicates section The predicates section is where you declare your predicates and the domains (types) of the arguments to your predicates. (You don't need to declare Visual Prolog's built-in predicates.) - a sequence of clauses defining a predicate is called a procedure. - If you define your own predicate in the clauses section, you must declare it in a predicates section.

9. 9 How to Declare User-Defined Predicates predicateName(argument_type1, argument_type2,...,argument_typeN) (Note: that, unlike the clauses in the clauses section of your program, a predicate declaration is not followed by a period.) PredicateNames:Rule Must begin with a lower-case letter, followed by a sequence of letters, digits, and underscores. Predicate names can be up to 250 characters long. Contd..

10. 10 If you declare a predicate my_predicate(symbol, integer ) in the predicates section, like this: PREDICATES my_predicate(symbol, integer) you don't need to declare its arguments' domains in a domains section, because symbol and integer are standard domains. But if you declare a predicate my_predicate(name, number) in the predicates section, like this: PREDICATES my_predicate(name, number) contd..

11. 11 you will need to declare suitable domains for name and number. Assuming you want these to be symbol and integer respectively, the domain declaration looks like this: DOMAINS name = symbol number = integer PREDICATES my_predicate(name, number)

12. 12 Valid naming characters in Visual Prolog : Upper-case Letters: A, B,..., Z Lower-case Letters: a, b,..., z Digits: 0, 1,..., 9 Underscore character: _ Examples of legal and illegal predicate names: Legal Predicate NamesIllegal Predicate Names fact[fact] is_a*is_a* has_ahas/a patternCheckListpattern-Check-List choose_Menu_Itemchoose Menu Item predicateNamepredicate first_in_10>first_in_10

13. 13 The domains section: The domains section is where you declare any domains. Domains enable you to give distinctive names to different kinds of data that would otherwise look alike. (You don't need to declare standard domains.) Ex: Frank is a male who is 45 years old. DOMAINS name, sex = symbol age = integer PREDICATES person(name, sex, age)

14. 14 The goal section: The goal section is where you put the starting goal for a Visual Prolog program. It's simply a list of subgoals. The goal keyword is not followed by :-. Visual Prolog automatically executes the goal when the program runs.

15. 15 Basic Standard Domains DescriptionDescription and implementation charA character, implemented as an unsigned byte. Syntactically, it is written as a character surrounded by single quotation marks: 'a'. real A floating-point number, implemented as 8 bytes. Examples: 42705 9999 86.72 string A sequnce of characters. Examples: telephone_number "railway ticket" "Dorid Inc " symbol A sequence of characters. The syntax is the same as for strings

16. 16 Multiple Arity The arity of a predicate is the number of arguments that it takes. You can have two predicates with the same name but different arity. You must group different arity versions of a given predicate name together in both the predicates and clauses sections of your program; apart from this restriction, the different arities are treated as completely different predicates

17. 17 Multiple Arity:Example DOMAINS person = symbol PREDICATES father(person)% This person is a father father(person, person) % One person is the father of the other person CLAUSES father(Man):- father(Man,_). father(adam,seth). father(abraham,isaac).

18. 18 Other Program Sections Other commonly-used program sections: The facts section, The constants section, and the various global sections.

19. 19 The Facts Section A Visual Prolog program is a collection of facts and rules. The keyword facts declares the facts section. It is here that you declare the facts to be included in the dynamic facts section

20. 20 The Constants Section A constant declaration section is indicated by the keyword constants. syntax: = is the name of your symbolic constant, and is what you're assigning to that constant. Each is terminated by a newline character, so there can only be one constant declaration per line.

21. 21 CONSTANTS:Example A = (10*(10-1)+10)*34, delay(A), zero = 0 one = 1 two = 2 hundred = (10*(10-1)+10) pi = 3.141592653 ega = 3 slash_fill = 4 red = 4 Before compiling your program, Visual Prolog will replace each constant with the actual string to which it corresponds. For instance:..., A = hundred*34, delay(A),

22. 22 The Global Sections Visual Prolog allows you to declare some domains, predicates, and clauses in your program to be global (rather than local); you do this by setting aside separate global domains, global predicates, and global facts sections at the top of your program. These global sections are discussed later.

23. 23 Exercises..