Книги автора: ПРОГРАММИРОВАНИЕ НА ЯЗЫКЕ ПРОЛОГ
/ Книги автора: ПРОГРАММИРОВАНИЕ НА ЯЗЫКЕ ПРОЛОГ
Книга: ПРОГРАММИРОВАНИЕ НА ЯЗЫКЕ ПРОЛОГ
atomic(X)
atomic(X)
Целевое утверждение atomic(X) согласуется с базой данных, если на текущий момент X обозначает либо целое число, либо атом. Предикат atomic может быть определен через предикаты atom и integer следующим образом:
atomic(X):- atom(X).
atomic(X):- integer(X)
Оглавление статьи/книги
Похожие страницы
- 3.2.3 Using mutexes for atomicity
- 3.4.1. Introduction to Atomic Transactions
- 3.4. ATOMIC TRANSACTIONS
- nonvar(X)
- 10.4.5. Состояния гонок и sig_atomic_t (ISO C)
- 7.1.1. Предикаты var, nоnvar, atom, integer, atomic
- Bumped transaction
- Introduction
- ACID Compliance in Transaction Processing to Protect Data Integrity
- Introduction to PHP