Turbo Prolog

Recommendations

Info

Index A Anonymous Variable, 22-23 Arithmetic Operations, 63 comparisons, 64-66 expressions, order of evaluation, 64 predicates and functions, 68-69, 179 special conditions for equality, 66-67 ASCII character codes, 201-203 Assembly language routine, calling from Turbo Prolog, 157-159 B Backtracking, 23-24 cut, used to prevent, 58-61 (ail predicate, used to initiate, 57-58 Block operations, I 1-12, 175 BNF syntax for Turbo Prolog, 196-199 c C language procedures, calling from Turbo Prolog, 153-157, 159 Clauses, 18, 132 deterministic, 60-61, 149 nondeterministic, 60, 149 Comments, 27 Comparisons, arithmetic, 64-66 Compile command, 165-166 options menu, 166 Compiler directives, 135-139 Compound goals, 22 Compound objects, 38-44 domain declaration of, 38 functors, use in, 38 levels in, 40-42 recursion in, 42-44 Compound structures, 133-134 Compound terms, 133-134 Constants, simple (see Simple constants) Cut, 58-61, 149 D Databases (see Dynamic databases) Date, 88 Debugging,74 Distribution Disk, 2 files on, 163-164 Domain Declarations, 38-39, 130-131 shortening, 131 Domains, 20-21 DOS, access to, 87-89 Dynamic Databases, 140-144 accessing facts, 141-142 declaration of database, 140-141 extending database onto files, 142-144 E Edit Command, 166-172 files menu, 166-168 setup menu, 168-172 Editor accessing from within Turbo Prolog program, 161-162 basic operation, I I, 172-173 block operations, 1 1-12, 175 commands, 172-177 search and replace operations, 12-13 summary of commands, 13 Entering a program, 8 Error messages, 205-208 Executing a program, 9-10 219
F File Directory access to, I 62 formatting of, 162 File System, 99-103 Files menu, 166-168 Files on distribution disk, 163-164 Flow patterns, 144-145 FORTRAN procedures, calling from Turbo Prolog, 153-157, 159 Functors, 38 G Games and Puzzles adventure, I 14-116 arcade, 83-85 N queens problem, 121-123 Towers of Hanoi, I 17-1 18 word guessing, 86-87 Global domains and predicates, 153 Goals, 18 external, 57 internal, 57 solution of, 54-57 Graphics, 91-96 turtle graphics commands, 93-96 H Hardware simulation, 116-117 Hexadecimal notation, 64 Input and Output, 69-73 fiow patterns, 144-145 keyboard, used in, 124-126 reading,72-73 screen-based, 82-83 writing,69-72 Installation, 164 Interfacing with other languages, 155-161 assembly language, 157-159 C. 159 calling conventions and parameters, 156 declaring external predicates, 156 FORTRAN, 159 low-level support, 159-161 naming conventions, 156-157 Pascal, 159 K Keywords, 129-130 L Language elements clauses, I 32 compound terms or structures, 133-134 domain declarations, 130-131 names, 128-129 predicate declarations, 132 program sections, 129-130 simple constants, 132-133 variables, 133 Lists, 45-50, 134 Logon message, 7 M Main menu, 7-8, 164-172 Compile command, 165-166 Edit command, 166-172 Files command, 166-168 Options command, 166 Quit command, 172 Run command, 164-165 selecting items from, 8 Setup command, 168-172 Memory management, I 34-1 35 Minimum system requirements, 2 Modular programming, 152-155 compiling and linking modules, 154 example of, 154- 155 global domains and predicates, 153 projects, 152-153 N Names, 128-129 reserved, 129 restricted, 129 not, use of, 24-27 o Objects, 20 Options menu, 166 220 Turbo Prolog Owner's Handbook
Page 2:
Turbo Prolog Owner's Handbook Copyr
Page 5 and 6:
Chapter 4 Tutorial II: A Closer Loo
Page 7 and 8:
Dynamic Databases in Turbo Prolog D
Page 9 and 10:
fail field_attr field_str filepos f
Page 11 and 12:
I 1-2 Sample Diagnostic Display ...
Page 13 and 14:
The tutorials cover all aspects of
Page 15 and 16:
Prolog is a full-fledged compiler w
Page 17 and 18:
Turbo Prolog has a built-in pattern
Page 19:
In addition to the version of Turbo
Page 27 and 28:
Saving a Window Layout Select Save
Page 29 and 30:
The clauses section contains a coll
Page 31:
Objects and Relations In Turbo Prol
Page 35:
Since Person I and Person2 are both
Page 39 and 40:
mother(marilyn,beverly). mother(ala
Page 41 and 42:
so that a goal of the form similar_
Page 43 and 44:
32 Turbo Prolog Owner's Handbook
Page 45:
1* Program b *1 domains person, hob
Page 48:
Program 7 is a complete Turbo Prolo
Page 57:
To declare a domain for lists of in
Page 62:
5 Tutorial III: Turbo Prolog's Rele
Page 66 and 67:
The clause Turbo Prolog chooses to
Page 68 and 69:
Use of Fail Turbo Prolog contains a
Page 72 and 73:
Exercise Suppose an average taxpaye
Page 74 and 75:
6 Tutorial IV: Arithmetic, Simple I
Page 78 and 79:
eply(_,_,D) :- D < 0, write("No sol
Page 80:
and A= -0.756802 tes t2 ( L; , B) .
Page 85:
DEBUGGING AND TRACING Before a prog
Page 88 and 89:
7 Tutorial V: Seeing Through Turbo
Page 90 and 91:
makewindow( ... ) shiftwindow( ...
Page 92 and 93:
You can change the attribute of the
Page 97:
A WORD GUESSING GAME USING WINDOWS
Page 100 and 101:
goal 1* Program 32 *1 makewindow(1,
Page 102:
8 Tutorial VI: Graphics and Sound A
Page 106:
1 Program 37 1/ predicates inspiral
Page 109 and 110:
98 Turbo Prolog Owner's Handbook
Page 111:
To access a file, it must first be
Page 119 and 120:
Program 50 uses random to select th
Page 121 and 122:
110 1* Program 51*1 predicates anim
Page 123 and 124:
The other rule for positive will as
Page 125 and 126:
Try the program with the goal route
Page 127 and 128:
track as soon as one solution has b
Page 129 and 130:
* Program 55 */ domains loc = right
Page 132:
string word ("" , [ 1 ) : -! . stri
Page 136 and 137:
Program 59 makes use of the readkey
Page 138 and 139:
11 Programmer's Guide This chapter
Page 140 and 141:
Reserved Names The following are re
Page 142 and 143:
2. mylist = elementDom* This is a c
Page 144:
symbol (\) followed by an ASCII cod
Page 150 and 151:
For example, given trace domains li
Page 152 and 153:
save("mydata.dba") the file mydata.
Page 154 and 155:
domains file name, address age sex
Page 157:
Tail recursion elimination is a tec
Page 160 and 161:
Determinism, Non-determinism and Ho
Page 163 and 164:
• The DOS linker, LlNK.EXE, must
Page 165 and 166:
Compiling and Linking the Modules B
Page 170 and 171:
so that the data segment addressed
Page 172:
clauses dosver(VERSION): AX=L;8*2
Page 177:
The Options Menu The Options pull-d
Page 183: Save Configuration S saves the curr
Page 190: ARITHMETIC FUNCTIONS AND PREDICATES
Page 193 and 194: • list of the possible flow patte
Page 195 and 196: date(Year, Month, Day ) (integer,in
Page 197: contained inside that window, the v
Page 200 and 201: less than or greater than zero, a b
Page 202 and 203: eadchar( CharVariable) (char) : (0)
Page 204 and 205: storage(StackSize,HeapSize, TrailSi
Page 207 and 208: f - Reals in fixed decimal notation
Page 209 and 210: Predicate and Database Section
Page 211 and 212: SYSTEM liMITS «arithmet
Page 213: ASCII Character Set (continued) Spe
Page 216 and 217: B Error Messages Following is a com
Page 218 and 219: 600 Too many domain names 601 Too m
Page 220 and 221: C PLINK USE OF THE FILE PLINK.BAT P
Page 222 and 223: D PROWG.SYS The table below describ
Page 224 and 225: E Using Turbo Prolog with Turbo Pas
Page 226 and 227: F Glossary anonymous variable The v
Page 228 and 229: list A special sort of object consi
Page 232: p Pascal procedures. calling from T
Page 237 and 238: SlnBiCI The Organizer For The Compu
Page 242 and 243: Learn Pascal From The Folks Who Cre
Page 245: 2VRBO PASCAt EDJ2OR7tDr.BOX It's Al
Page 249 and 250: NOTES
Page 257: NOTES
show all

Turbo Prolog

Create successful ePaper yourself

Delete template?

Save as template?