Start
Dlina(string,integer)
Goal
Start.
Clauses
start:- write(" ( )= "),
readln(Text), nl, dlina(Text,N), write(" = ",N).
dlina(Str,N):- frontchar(Str,H,Str1), dlina(Str1,N1), N=N1+1.
Dlina(_,0).
(), (), . . .
. - .
(613456678, (, ), ( ), (,), _(2004)).
( ) .
<- >(< - >).
( 255) . (functor ) . : , , .
, , .
.
. :
=(,),
=(, , );
=(, , , )
Domains
person=person(fio,adres)
fio=fio(fam,name,ot)
adres=adres(city, street, house, flat)
fam, name, ot, city, street=sting
house, flat=integer
Predicates
p
Clauses
p:- P1=person(fio(, , ),
adres(, ,10,4)),
P1=person(fio(, _, _), Address),
2=person(fio(, , ), Address),
write(P1=, P1),nl, write(P2=,P2),nl.
GOAL
P.
:
P1=person(fio(, , ), (, ,10,4)),
2=person(fio(, , ), (, ,10,4))
Solution
.
( ) , . (). .
domains :
file = < 1>;...;< N>
file , . , . . , . , , .
|
|
|
:
| openread(SymbolicFileName,DosFileName) (file,string) - (i,i) | |
| openwrite(SymbolicFileName,DosFileName) (file,string) - (i,i) | . |
| openappend(SymbolicFileName,DosFileName) (file,string) - (i,i) | . |
| openmodify(SymbolicFileName,DosFileName) (file,string) - (i,i) | / |
| readdevice(SymbolicFileName) (file) - (i) (o) | . |
| writedevice(SymbolicFileName) (file) - (i) (o) | . |
| filemode(SymbolicFileName,FileMode) (file,Integer) - (i,i) (i,o) | / . FileMode = 0 - , 1 - . |
| closefile(SymbolicFileName) (file) - (i) | . |
| filepos(SymbolicFileName,FilePosition,Mode) (file,real,integer) (i,i,i) (i,o,i | . Mode = 0 - , 1 - , 2 - . |
| eof(SymbolicFileName) (file) - (i) | . , , . |
| existfile(DosFileName) (string) - (i) | . |
| deletefile(DosFileName) (string) - (i) | DOS. |
| renamefile(OldDosFileName,NewDosFileName) (string,string) (i,i) | DOS. OldDosFileName - , NewDosFileName - |
| disk(DosPath) (string) - (i) (o) | . |
| file_str(SymbolicFileName,string) (i,o)(o,i) | , , |
- SymbolicFileName - , domains
file;
- DosFileName - MS DOS.
:
