пошук книг
книги
Підтримати
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Z-Recommend
Перелік книг
Найпопулярніші
Категорії
Участь
Підтримати
Завантаження
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Search paper books
Мій LITERA Point
Пошук ключових слів
Main
Пошук ключових слів
search
1
Prolog: The Standard: Reference Manual
Springer-Verlag Berlin Heidelberg
Dr. Pierre Deransart
,
Dr. AbdelAli Ed-Dbali
,
Dr. Laurent Cervoni (auth.)
error
succeeds
substitution
prolog
built
input
current
output
atom
predicates
defined
implementation
standard
fails
goal
integer
char
examples
predicate
alias
mickey
execution
cases
clause
stream_or_alias
database
dcg
syntax
byte
binary
dependent
options
functor
flag
insect
variables
arithmetic
undefined
type_error
processor
clauses
instantiation
unifiable
priority
argument
assume
fail
quoted
sink
false
Рік:
1996
Мова:
english
Файл:
DJVU, 1.93 MB
Ваші теги:
0
/
0
english, 1996
2
Prolog: the Standard. Reference Manual
Springer
Pierre Deransart
,
Laurent Cervoni
,
AbdelAli Ed-Dbali
succeeds
substitution
prolog
error
built
atom
input
current
output
predicates
defined
goal
implementation
standard
fails
integer
char
examples
mickey
predicate
stream_or
execution
_alias
cases
type_error
clause
alias
instantiation_error
stream_or_alias
database
syntax
options
flag
dependent
functor
byte
variables
insect
permission_error
undefined
arithmetic
binary
processor
clauses
dcg
unifiable
argument
false
fail
assume
Рік:
1996
Мова:
english
Файл:
PDF, 5.09 MB
Ваші теги:
0
/
0
english, 1996
3
Prolog: The Standard: Reference Manual
Springer
Pierre Deransart
,
AbdelAli Ed-Dbali
,
Laurent Cervoni
succeeds
substitution
prolog
error
built
atom
input
current
output
predicates
defined
goal
standard
implementation
fails
integer
char
examples
mickey
predicate
stream_or
execution
_alias
cases
type_error
clause
alias
instantiation_error
stream_or_alias
database
syntax
options
flag
dependent
functor
byte
variables
insect
permission_error
undefined
arithmetic
binary
processor
clauses
dcg
unifiable
argument
false
fail
assume
Рік:
1996
Мова:
english
Файл:
PDF, 5.23 MB
Ваші теги:
0
/
0
english, 1996
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×