|
|
libcats.org
The clausal theory of typesD. A. WolframThis book presents the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types. A long-sought goal of logic programming, the clausal theory of types is a logic programming language that allows functional computation as a primitive operation while having rigorous, sound, and complete declarative and operational semantics. The language is very powerful, supporting higher-order equational deduction and functional computation. Its higher order syntax makes it concise and expressive, abstract data types can be expressed in it, and searching for multiple solutions is a basic operation. The author proves a number of important and surprising results: a Skolem-Herbrand-G?del theorem for higher-order logic; a Higher-Order Resolution Theorem, which includes as special cases some previously unproven conjectures about equational matching and higher-order matching.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Interventional ultrasound in obstetrics, gynaecology, and the breastАвтор: D. Lemery, Автор: J. Santolaya-ForgasКатегория: 'Ultrasonics in obstetrics.', 'Operative ultrasonography.', 'Generative organs, Female -- Ultrasonic imaging.', 'Generative organs, Female -- Surgery.', 'Ultrasonography
Размер книги: 40.97 Mb
A Guide to Hellenistic LiteratureАвтор: Kathryn GutzwillerКатегория: cultures_languages
Размер книги: 4.75 Mb
Spirituality, Values and Mental Health: Jewels for the JourneyАвтор: Mary Ellen Coyte, Автор: Peter Gilbert, Автор: Vicky Nicholls, Автор: John Swinton
Размер книги: 1.12 Mb
Invasive Plants: Ecological and Agricultural AspectsАвтор: S. Inderjit (Editor)
Размер книги: 1.87 Mb
Language and Identity: National, Ethnic, ReligiousАвтор: John E. JosephКатегория: Языкознание
Размер книги: 1.45 Mb
Emperor Jones the Hairy Ape and Mourning Becomes Electra ( Cliffs Notes )Автор: Eugene O'Neill James L. Roberts
Размер книги: 252 Kb
|
|
|