Книги автора: ПРОГРАММИРОВАНИЕ НА ЯЗЫКЕ ПРОЛОГ
/ Книги автора: ПРОГРАММИРОВАНИЕ НА ЯЗЫКЕ ПРОЛОГ
Книга: ПРОГРАММИРОВАНИЕ НА ЯЗЫКЕ ПРОЛОГ
seeing(X)
seeing(X)
Это целевое утверждение согласуется с базой данных, если имя текущего входного потока данных (файла) сопоставимо с X, и не согласуется в противном случае.