Turbo Prolog

Recommendations

Info

String Handling frontchar(String.FrontChar,RestString). . . . . frontstr(NumberOfChars,String I,StartStr,String2) fronttoken(String,Token, RestString) . isname(StringParam) . str _len(String, Length) . . . . Type Conversion char _int(CharParam,lntParam) . str _char(StringParam,CharParam) str _int(StringParam,lntParam) . . str _real(StringParam,ReaIParam) . upper _lower(StringlnUpperCase,StringlnLowerCase) . Data Predicates asserta( (fact) ). . . . assertz( (fact) ). . . . consult(DOSFileName). retract( (fact) ). . . . save(DOSFileName). . System Level Predicates beep ........ . bios(lnterruptNo,Regsln,RegsOut) date(Year,Month,Day). . . . . mem byte(Segment.Offset, Byte) . memword(Segment. Offset,Word) portbyte(PortNo,Value) . . . . ptr _dword(StringVar,Segment.Offset) . sound(Duration.Frequency). . . . . storage(StackSize,HeapSize,TraiISize) . system(DosCommandString) . . . . time(Hours,Minutes,Seconds,Hundredths) trace(Status). . . . Language Predicates bound(Variable) . . exit ...... . fail . . . . . . . findall(Variable, (atom), ListVariable) free(Variable) not«atom») . . . . . . . . . ALPHABETICAL DIRECTORY OF STANDARD PREDICATES 187 187 187 188 193 183 193 193 193 194 182 182 183 192 192 82 82 84 89 89 90 90 92 93 94 94 94 183 185 185 186 187 189 This section lists all Turbo Prolog standard predicates in alphabetical order. Each predicate is described in the following format: • predicate name and a typical invocation • types of the parameters in corresponding positions of the predicate Reference Guide 181
• list of the possible flow patterns for this predicate • description of the outcome of a call to the predicate for each of the allowed flow patterns. asserta( (fact) ) (dbasedom) : (i) Inserts a (fact) in the RAM database before any other stored clauses for the corresponding predicate. The (fact) must be a term belonging to the domain dbasedom, which is internally generated. assertz( (fact) ) (dbasedom) : (i) (0) Inserts a (fact) in the RAM database after all other stored clauses for the corresponding predicate. The (fact) must be a term belonging to the domain dbasedom, which is internally generated. attribute (Attr ) ( i) Sets the default attribute value for all screen positions. (0) Binds Attr to the current default attribute value for all screen positions. (integer) : (i) (0) back(Step) (integer) : (i) Indicates how many Steps the turtle is to move from its current position along its current direction. back fails if the movement leads to a position outside the screen (screen is 32000 horizontal and 32000 vertical steps). The current position of the turtle will only be updated if back is successful. beep Beeps the computer's speaker. bios(InterruptNo, RegsIn, RegsOut) (integer,regdom,regdom) : (i,i,o) Causes BIOS interrupt InterruptNo with register values indicated in the parameter Regsln and binds the parameter RegsOut to the register values after the interrupt has been executed. Regsln and RegsOut both belong to the internal domain regdom, which is defined as: regdom = reg(AX,BX,CX,DX,SI,DI,DS,ES) where AX, BX, ex, OX, 51, 01, OS and ES are all of integer domain type. 182 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 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 230 and 231: Index A Anonymous Variable, 22-23 A
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 251 and 252:
NOTES
Page 253 and 254:
NOTES
Page 255 and 256:
NOTES
Page 257:
NOTES
show all

Turbo Prolog

Create successful ePaper yourself

Delete template?

Save as template?