Рассмотрены теоретические аспекты построения аппаратно-программных средств процессоров, поддерживающих механизмы логического вывода в версиях языка Пролог. Описаны архитектура и системы команд процессоров логического вывода (ПЛВ), механизмы компиляции Пролог-программ и организации скомпилированных программ....

История любви с первого взгляда. История мужчины и женщины - веселая и грустная, трогательная и смешная, мудрая - и наивная. История, рассказанная знаменитым французским писателем - и рассказанная с подлинно французским шармом. ...