АААААААА
Ағымды аттар кеңістігіне берілген барлық аттарының тізімін шығаратын Haskell командасы:
:names
Ағымды каталогты ауыстыратын Haskell командасы:
:cd
Атомның прологтағы мысалы:
mod
Атомарлы берілгендер Prolog типіне кіреді
бүтін сандар
Атомарлы емес берілгендер Prolog типіне кіреді
тізімдер,құрылымдар,берілгендер қорында ссылка үшін сандар
Ата қатынасы арқылы немере қыз қатынасын анықта:
Vnuchka(X,y):-ded(y,X),jen(X).
Ата-ана қатынасы арқылы әпке қатынасын анықта:
sister(X,Y):-rod(Z,X),rod(Z,Y), jen(X), X<>Y.
Ата қатынасы арқылы немере қатынасын анықта:
Vnuk(X,y):-ded(y,X),muj(X).
Ағасы және әпкесі бар болуы қатынасын анықта:
иметь_брата_сестру(X,Y,Z):-род(F,Y),род(F,Z),род(F,X),муж(Y),жен(Z).
Ата-ана қатынасы арқылы Аға қатынасын анықта:
brat(X,Y):-rod(Z,X),rod(Z,Y), muj(X), X<>Y.
ӘӘӘӘӘӘӘӘ
Әпке қатынасы арқылы тәте қатынасын анықта:
тетя(Х,Y):-сестра(Х,Z),род(Z,Y),жен(X).
БББББББББ
Бүтін сандарды ұсыну үшін қолданылатын Haskell типтері:
Integer және Int
Бағдарламалаушыға есепті шешудің ретті алгоритмі берілетін (есепті қалай шешу керек) тіл қалай аталады:
императивті
Бағдарламалау тілдері қанша негізгі түрге бөлінеді:
2
Берілген өрнекті іске қосатын Haskell командасы:
<expr>
Берілген өрнектің типін шығаратын Haskell командасы:
:type
Басқару жолда АЖ параметрлерін орнатуын рұқсат беретін Haskell командасы
:set
Берілген модульдерде анықталған барлық объектілер тізімін шығаратын Haskell командасы:
:browse
Белгілі ат орналасқан модулін өзгертуге шақыратын Haskell командасы:
:find
Бағдарламаның версиясын шығаратын Haskell командасы:
:version
Бағдарламадан шығуды орындайтын Haskell командасы:
:quit
ДДДДДДДДД
Декларативті тілге жатпайтын бағдарламалау тілі:
Pasсal
ЕЕЕЕЕЕЕЕЕЕ
Есептелінген нәтиженің типін автоматты түрде шығаратын Haskell:
:set +t
Екі монадалық мәндердің Haskell комбинациясын жасайтын байланыстыру операцияларын көрсетіңіз.
>> , >>=
ЖЖЖЖЖЖ
Жүктеудің соңғы командасын кайталайтын Haskell командасы:
:reload
ИИИИИИИИ
Императивті тілдерге жатпайтын бағдарламалау тілі:
LISP
КККККККК
Командалар тізімін шығаратын Haskell командасы
:?
Келесі қатынасты Prolog-та көрсету: ұлы және қызы болу
: ұлы және қызы болу (Х,S,D):-ата-ана(X,S),ата-ана(X,D),S(еркек),D(әйел).
Келесі қатынасты Prolog – та көрсету:иті және мысығы бар болу.
Қожайын(Х, Ит,Мысық): -бар болу (Х,Ит), бар болу (Х,Мысық),Ит ( _ , үреді), Мысық ( _ , мияулайды).
Келесі қатынасты Prolog- та көрсету:квартирасы мен машинасы бар болу.
Қожайын (Х): -бар болу(квартира),бар болу(Х,машина)
ҚҚҚҚҚҚҚҚ
Қате туралы хабарлама беретін Haskell тілдің функциясы:
error
Қай монадада fail Haskell функциясы анықталған?
IO
Қосымша модуль жүктейтін Haskell командасы:
:also
Қоқыс жинау процесін мәжбүр етіп, іске қосатын Haskell командасы:
:gc
ЛЛЛЛЛЛЛЛ
Логикалық өрнектерді ұсыну үшін қолданылатын Haskell типтері:
Bool
Логикалық бағдарламалау тілін көрсетіңіз:
Пролог
Лямбда - абстракция Haskell конструкциясының міндеті
атсыз функцияларды анықтайды
ММММММ
Машиналық тілде Haskell мондалардың пайдалануын қолдайтын қызметті сөз
do
Модульді файлдің кеңістігі:
.hs
Модуль жүктейтін Haskell командасы:
:load
Мама қатынасын анықта:
мама(Х,Y):-род(X,Y),жен(Х).
ННННННН
Нақты сандарды ұсыну үшін қолданылатын Haskell типтері:
Float және Double
Немере аға қатынасы еместігін анықта:
muj(X,Y):-rod(F,Z),rod(F,G),rod(Z,X),rod(G,Y),muj(X),Z<>G,X<>Y.
Немере бала қатынасы еместігін анықта: