Pppppppp

НННННН

ФФФФФ

ООООО

ТТТТТТТТ

ССССССС

ПППППП

ММММ

ЛЛЛЛЛЛЛ

ККККККК

ИИИИИИ

ЖЖЖЖЖ

ЕЕЕЕЕЕЕ

ДДДДДДД

ББББББББ

ААААААА

Сан

2*(5-1)^2 Haskell өрнектің нәтижесі:

Ато(1)м: mod

Ағы(3)к: :cd

Ато(3)к: бүтін сандар

Ато(4)к: тізімдер,құрылымдар,берілгендер қорында ссылка үшін сандар

Ата-ана(4)а: sister(X,Y):-rod(Z,X),rod(Z,Y), jen(X), X<>Y.

Ата(4)а: vnuk(X,Y):-ded(Y,X),muj(X).

Ата-ана(4)а: brat(X,Y):-rod(Z,X),rod(Z,Y), muj(X), X<>Y.

Ата(5)а: vnuchka(X,Y):-ded(Y,X),jen(X).

Аға(5)а: иметь_брата_сестру(X,Y,Z):-род(F,Y),род(F,Z),род(F,X),муж(Y),жен(Z).

Ағы(8)к: :names

ӘӘӘӘӘӘӘ

Әпк(4)а: тетя(Х,Y):-сестра(Х,Z),род(Z,Y),жен(X).

Бағ(3)к: :version

Бағ(3)к: :quit

Бағ(4)б: 2

Бер(4)ө.і.к: <expr>

Бер(4)ө.т.к: :type

Бүт(5)т: Integer және Int

Бел(6)к: :find

Бас(7)к: :set

Бер(7)к: :browse

Бағ(11)а: императивті

Дек(3)т: Pasсal

Есе(5)Н: :set +t

Екі(7)к: >>, >>=

Жүк(4)к: :reload

Имп(3)т: LISP

Ком(3)к: :?

Кел(7)б:: ұлы және қызы болу (Х,S,D):-ата-ана(X,S),ата-ана(X,D),S(еркек),D(әйел).

Кел(8)б: Қожайын(Х, Ит,Мысық): -бар болу (Х,Ит), бар болу (Х,Мысық),Ит (_, үреді), Мысық (_, мияулайды).

Кел(8)б: Қожайын (Х): -бар болу(квартира),бар болу(Х,машина)

ҚҚҚҚҚҚ

Қос(3)к: :also

Қай(4)а: IO

Қат(5)ф: error

Қоқ(7)к: :gc

Лог(2): Пролог

Лям(3)м: атсыз функцияларды анықтайды

Лог(5)т: Bool

Мод(1)к: .hs

Мам(1)а: мама(Х,Y):-род(X,Y),жен(Х).

Мод(2)к: :load

Маш(6)с: do

НННННН Н

Нем(2)а: brat(X,Y):-rod(F,Z),rod(F,G),rod(Z,X),rod(G,Y),muj(X),Z<>G,X<>Y

Нем(2)а: sister (X,Y):-rod(F,Z),rod(F,G),rod(Z,X),rod(G,Y),jen(X),Z<>G,X<>Y.

Нем(3)а: muj(X,Y):-rod(F,Z),rod(F,G),rod(Z,X),rod(G,Y),muj(X),Z<>G,X<>Y.

Нем(3)а: vnuk(X,Y):-rod(Y,Z),rod(Z,X), jen (X).

Нем(3)а: vnuk(X,Y):-rod(Y,Z),rod(Z,X), muj (X).

Нем(3)а: muj(X,Y):-rod(F,Z),rod(F,G),rod(Z,X),rod(G,Y),muj(X),Z<>G,X<>Y.

Нем(3)а: sister (X,Y):-rod(F,Z),rod(F,G),rod(Z,X),rod(G,Y),jen(X),Z=G,X=Y.

Нақ(5)т: Float және Double

Про(0)ф: дата (1, мамыр, 1983)

Про(0)а: ақпарат қоймасы емес

Про(1)қ: DOMAINS ------ PREDICATES --------- CLAUSES -------- GOAL -------

Про(1)м: Х

Про(1)м: жақсы көреді (Х, Y): - тәттіні (Y)

Про(1)с: G1=integer *

Пап(1)а: папа(Х,Y):-род(X,Y), муж(Х).

Про(2) «:-» б: егер

Про(2) «,»б: және

Про(2)б: / * комментарий * / немесе % комментарий

Про(2)м: a = symbol

Про(2)т: фактілер, ережелер, сұрақтар

Про(3)т: фактілерді хабарлау,ережелерді анықтау,сұрақты ұйқастыру

Про(3)т: айнымалылар, атомдар

Про(5)с: салыстыруПле(2)а: племянница(Y,X):-брат(Х,Z), род(Z,Y), муж(Y).

Про(7)с: құрылымды сұрақ

Сим(4)т: Char

Сыр(4)к: :edit

Сан(5)ф: sqrt

Тіз(2)о: ++

Тіз(4)о: [Head | Tail]

Объ(5)к: :info

Опе(7)к: :!

ӨӨӨӨӨӨ

Өзі(15)а: декларативті

Фун(2)ж: функциялардың тәуелділігі

Фун(2)ж: ОББ- ға қарағанда коды бірнеше рет кіші

Фун(4)к: рабайсыздық (громоздкость)

Фун(7)к: :module

ҰҰҰҰҰ

Ұзы(8)т: Integer

«» «» «» «»

«+»(3)ә: тізімдерді қосу

:::::::::

:browse(2)қ: Берілген модульдерде барлық объектілер тізімін шығарады

:cd(2)қ: ағымды каталогты ауыстырады

:gc(2)қ: қоқыс жинау процесін мәжбүр етіп іске қосады

:version(2)қ: бағдарламаның версиясын шығарады

:quit()2қ: бағдарламадан шығуды орындайды

: load(3)қ: файлдардан модульдерді жүктейді

:also(3)қ: қосымша модульдерді жүктейді

:reloa(3)қ: жүктеудің соңғы командасын кайталайды

:project(3)қ: жобаның файлын жүктейді және пайдаланады

:edit(3)қ: қатені өзгертуге сыртқы мәтіндік редакторын шақырады

:module(3)қ: функцияны орындауға берілген модульді ағымды ретінде орнатады

:type(3)қ: берілген өрнектің типін шығарады

:?(3)қ: командалар тізімін шығарады

:set(3)қ: басқару жолда АЖ параметрлерін орнатады

:names(3)қ: ағымды аттар кеңістігіне берілген барлық аттарының тізімін шығарады

:info(3)қ: объектілердің берілген аттарының сипаттауын шығарады

:find(3)қ: белгілі ат орналасқан модулін өзгертуге шақырады

:!(3)қ: Операциялық жүйеге кіреді және берілген команданы орындайды

(((((()))))))))

(>>=)(3)т: IO

(>>)(4)қ: егер функция бірінші монадалық операндпен алынған мәндерін қолданбаса

((Char, Integer)(6)м: (('a',6+2),"tekst",[2.1*3.3])

[[[[[[]]]]]]

[[[(Integer,Bool)]]] (4)м: [[[(500,True)]]]

<><><><>

<expr>(3)қ: берілген өрнекті іске қосады

Ағылшын

Haskell(2)а: factorial

Haskell(2)ф: құрылған типтерге жаңа аттар беріледі

Haskell(2)б: байланысқан есептеулердің сызықты тізбегінің абстракциясы

Haskell(2)қ: енгізу- шығару әрекетінің облысына қарапайым мәнді енгізеді

Haskell(2)к: ghc

Haskell.(3)к: :type

Haskell(3)а: ((Integer,Char),Double).

Haskell(3)ф: length

Haskell(3)к: :load

Haskell(3)қ: жұптың бірінші элементін қайтарады

Haskell(3)н: 4

Haskell(3)қ: жұптың екінші элементін қайтарады

Haskell(3)б: бос тізімді

Haskell(3)с: [Char]

Haskell(3) «>»м: үлкен

Haskell(3) «<»м: кіші

Haskell(3) «>=»м: үлкен немесе тең

Haskell(3) «<=»м: кіші немесе тең

Haskell(3) «==»м: тең

Haskell(3)б: тек Haskell(3)ф: fail

Haskell(3)қ: 2

Haskell(3)б: аттар кеңістігімен басқару

Haskell(3)б: берілгендердің абстракты типтерін құру

Haskell(3)қ: аттары «Модуль. Haskell(3)қ: файлды ашады

Haskell(4)қ: True және False

Haskell(4)т: if шарт then өрнек else өрнек

Haskell(4)б: логикалық ЖӘНЕ (И)

Haskell(4)б: логикалық НЕМЕСЕ (ИЛИ)

Haskell(4)б: теріс

Haskell(4)о: қос нүкте

Haskell4а: оңға

Haskell(4)ф: tail

Haskell(4)ф: head

Haskell(4)к: [’h’,’e’,’l’,’l’,’o’]

Haskell(4)н: 5:: Integer

Haskell(4)б: --

Haskell(4)б: тілде типтік айнымалы бар екенін

Haskell(4)б: {-…-}

үлкен әріптен

Haskell(4)с: кез- келген

Haskell(4)о: үтір арқылы тік жақшада

Haskell(4)а: аттар кеңістігімен басқару мен берілгендердің абстракты типтерін құру

Haskell(4)с: module

Haskell(4)н: True:: Bool

Haskell(5)к: :edit

Haskell(5)ж: оңға

Haskell(5)о: өз- өзін шақырады

Haskell(5)ұ: 2

Haskell(5)а: Nothing және Just

Haskell(5)а: саналатын

Haskell(5)ж: ()

Haskell(5)с: бөлек файлда

Объект» түрге келетін объектілердің импортталынатын модульдерін анықтайды.

Haskell(5)қ: басқару жолдың параметрі болатын жолдар тізімін қайтарады

Haskell(6)е: 2,44

Haskell(6)к: :reload

Haskell(6)а: параметр қабылдамайтын типтер

Haskell(6)ұ: Си тілдегі default конструкциясына

Hugs(7)к: Prelude>

Haskell(7)е: 32

Haskell7е: 17

Haskell(7)ф: read және show

Haskell(7)н: ’a’:: Char

Haskell(8)ш: бағдарламаға аргументтер саны дұрыс берілмесе

Haskell(9)е: 15

Haskell(9)к: add

Prolog(0)ф: бұл аргументтері, константалары болатын предикаттар, объекттер арасында немесе объектілер сипаты қатынасын білдіреді

Prolog(1)м: бар (Юрий,машинасы)

Prolog(1)м: [1,2,3,4]

Prolog(1)м: 5 және Х

Prolog(1)м: «Петров»

Prolog(1)о: <, >, < >, <=, > =

Prolog(1)в: оң, сол, жалпыланған

Prolog(1)д: ой, дүниетану, пікір шығару ережесі жөніндегі ғылым

Prolog(1)(пікір)д: оның мәні ақиқат не жалған болатын ой, ұйғарым

Prolog(1)(факт)д: сөзсіз ақиқат болатын жеке мақсат

Prolog(1)(атомдар)д: сандардан басқа болатын аргументтер, қатынастар және арнайы символдар

Prolog(1)б: тізімдердің жалғануы

Prolog(1)қ: ереже соңына

Prolog(1)қ: <ереже басы>:-<ішкі мақсат 1>,<ішкі мақсат 2>,... < ішкі мақсат N>.

Prolog(1)қ: ереже соңына

Prolog(1)б: барлық сөйлемдарде бір ғана объект

Prolog(1)(айнымалы)б: бас әріппен басталатын әріптер мен сандар тізбегі

Prolog(1)(құрылым)б: үтір арқылы ажыратылатын құрылым аттары мен қасиеттерінен тұратын конструкция

Prolog(2)а: әлі өз мәнін алмаған

Prolog(2)а: жаңа мән алған

Prolog(2)б: жоқ болуы мүмкін

Prolog(2)б: [ ]

Prolog(2)о: *, +, -, div, mod

Prolog(2)ш: print_ list ([ ]) print_ list ([H | T ]): write(H), nl, print_ list (T)

Prolog(2)(тізім)н: ұзындығы шектелмеген реттелген элементтер тізбегі

Prolog(2)(дизюнкт)д: жалғандықты білдіретін логикалық өрнек

Prolog(2)д: айнымалы сәйкес мәнмен алмастыру

Prolog(2)н: біршама айнымалы не нақты нысандар мен олардың қасиеттері жөнінде пікірлер (предикат - жариялау)

Prolog(2)б: жаңа мән алмаған

Prolog(2)б: жаңа мән алған

Prolog(2)(егер)б: :-

Prolog(2)(жане)б:,

Prolog(2)(немесе)б:;

Prolog(2)(бір)к: %

Prolog(2)(бірнеше)к: /* … */

Prolog(2)ж:!

Prolog(2)т: fail

Prelude(3)м: IO

Prelude(3)м: []

Prelude(3)м: Maybe

Prolog(3)к: ережелер

Prolog(3)к: сұраныс

Prolog(3)б: айнымалының нақты мәні жоқ кезде предикаттың аргументі ретінде қолданылатын айнымалының ерекше түрі

Prolog(3)о: енгізу-шығару, файлдармен жұмыс, графикалық режимді және қатарларды өңдеу

Prolog(3)ж: жауаптың барлық нұсқауларын іздейді

Prolog(3)е: readchar

Prolog(3)м: fronttoken

Prolog(3)о: қатыстылық, конкатенация, қосу және жою

Prolog(3)с: clauses

Prolog(3)к: goal

Prolog(3)ө: Конкатенация (L1,L2, L3)

Prolog(3)м: сәтті немесе сәтсіз

Prolog(3)б: :-

Prolog(3)у: бір сөйлем

Prolog(3) Р:-Q,R: Р- шындық, егер Q,R шындық

Prolog(3)с: CONSTANTS

Prolog(3)с: DOMAINS

Prolog(3)с: PREDICATES

Prolog(3)ж: fail

Prolog(3)н: элементтері жоқ

Prolog(4)к: предикаттар

Prolog(4)а: идентификациялы құрылымдар бір-бірімен теңестіріледі

Prolog(4)е: бір блок шегінде жазылуы тиіс

Prolog(4)б: айнымалының мәнін экранға шығару

Prolog(4)н: басы, құйрық

Prolog(4)е: readint

Prolog(4)с: readln

Prolog(4)е: readreal

Prolog(4)б: белгілі фактілер негізінде объектілердің арасындағы жаңа қатынастарды.

Prolog(4)а: GOAL

Prolog(4)ф: лена, хасанның ата-анасы

Prolog(4) F(1,1):-!. F(N,S):-M=N-1, F(M, P), S=1/N*P.?-F(3,S): 1/6

Prolog(4) F(1,1):-!. F(N,S):-M=N-1, F(M, P), S=1/N+P.?-F(2,S): 1. 5

Prolog(4) F(1,1):-!. F(N,S):-M=N-1, F(M, P), S=1/N.?-F(2,S): 0. 5

Prolog(4) F(1,0. 5):-!. F(N,S):-M=N-1, F(M, P), S=1/(N*N+1)+P.?-F(2,S): 0. 7

Prolog(4) F(1,0. 5):-!. F(N,S):-M=N-1, F(M, P), S=1/(EXP((N- 1)*LN(2))+1)+P.?-F(2,S): 0. 8333

Prolog(4) F(1,1):-!. F(N,S):-M=N-1, F(M, P), S=N*N+P.?-F(3,S): 14

Prolog(4): F(1,2):-!. F(N,S):-M=N-1, F(M, P), S=2*EXP(N*LN(N))+P.?-F(2,S): 10

Prolog(4) F(1,0):-!. F(N,S):-M=N-1, F(M, P), S=2*EXP(N*LN(N-1))+P.?-F(2,S): 2

Prolog(4): F(1,2):-!. F(N,S):-M=N-1, F(M, P), S=2*EXP((N-1)*LN(N))+P.?-F(2,S): 6

Prolog(4) F(1,1):-!. F(N,S):-M=N-1, F(M, P), S=EXP((N-1)*LN(N))+P.?-F(2,S): 3

Prolog(4) F(1,1):-!. F(N,S):-M=N-1, F(M, P), S=EXP(N*LN(N))+P.?-F(2,S): 5

Prolog(4) F(1,2):-!. F(N,S):-M=N-1, F(M, P), S=EXP(N*LN(N+1))+P.?-F(2,S): 11

Prolog(4) F(1,1):-!. F(N,S):-M=N-1, F(M, P), S=EXP((N+1)*LN(N))+P.?-F(2,S): 9

Prolog(4) F([]):-!. F([H|T]):-H<3,WRITE(H),F(T).?-F([1,2,3,4]): 1,2

Prolog(4) F([]):-!. F([H|T]):-WRITE(H), H<3,F(T).?-F([1,2,3,4]): 1,2,3

Prolog(4) F([]):-!. F([H|T]):-H<=3,WRITE(H),F(T).?-F([1,2,3,4]): 1,2,3

Prolog(4) F([]):-!. F([H|T]):-WRITE(H), H<=3,F(T).?-F([1,2,3,4]): 1,2,3,4

Prolog(4) F([]):-!. F([H|T]):-WRITE(T),F(T).?-F([1,2,3,4]): [2,3,4] [3,4] [4] []

Prolog(4) F([],0):-!. F([H|T],SP):-F(T,S),SP=H+S.?-F([1,2,3,4]): 10

Prolog(4) F([],1):-!. F([H|T],SP):-F(T,S),SP=H*S.?-F([1,2,3,4]): 24

Prolog(4) F([],0):-!. F([H|T],SP):-F(T,S),SP=H*S.?-F([1,2,3,4]): 0

Prelude(5)а: 3

Prolog(8)қ: немере (У, Х):-ата(Х,У), У(еркек)

Prolog(5)қ: ауысады

Prolog(5)м: стандартты предикаттар, хабарланған предикаттар, салыстыру операциялары, арифметикалық операциялар

Prolog(5)ш: readdevice

Prolog(5)ш: writedevice

Prolog(5)о: cursor(Стр,Кол)

Prolog(5)б: осы ереженің атауына

Prolog(5)а: clauses

Prolog(5)а: CLAUSES

Prolog(6)п: fail

Prolog(6)б: [2, 3, 4]

Prolog(6)(басына)е: asserta

Prolog(6)(аяғына)е: assertz

Prolog(6)м: frontstr

Prolog(6)а: DATABASES

Prolog(7)б: prod([],[],0). prod ([X|Xs],[Y|Ys], S): – prod (Xs,Ys,Sp), S=X*Y+Sp.

Prolog(7)м: frontchar

Prolog(8)т: fail және!;

Prolog(8)д: шығару механизмі

Prolog(9)ш: retractall(X)

Prolog(11)а: анонимді

Дата добавления: 2015-07-02