Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. However, these systems often embody variable binding, a notion that must be treated carefully at a computational level. This book aims to show that a programming language based on a simply typed version of higher-order logic provides an elegant, declarative means for providing such a treatment. Three broad topics are covered in pursuit of this goal. First, a proof-theoretic framework that supports a general view of logic programming is identified. Second, an actual language called λProlog is developed by applying this view to higher-order logic. Finally, a methodology for programming with specifications is exposed by showing how several computations over formal objects such as logical formulas, functional programs, and λ-terms and π-calculus expressions can be encoded in λProlog.

Logic programming. --- Prolog (Computer program language) --- Computer programming

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the proceedings of the 17th International Symposium on Functional and Logic Programming, FLOPS 2024, held in Kumamoto, Japan, in May 2024. The 15 papers presented in this volume were carefully reviewed and selected from 28 submissions. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS speci cally aims to promote cross-fertilization between theory and practice and among di erent styles of declarative programming.

Software engineering. --- Artificial intelligence. --- Programming languages (Electronic computers). --- Computer programming. --- Computer science. --- Computer systems. --- Software Engineering. --- Artificial Intelligence. --- Programming Language. --- Programming Techniques. --- Computer Science Logic and Foundations of Programming. --- Computer System Implementation.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Political philosophy. Social philosophy --- General ethics --- Utilitarianism. --- Utilitarianism --- Ethics --- Hedonism --- Philosophy

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Midrash --- Rabbinical literature --- Relation to the New Testament --- Bible. --- Bible. --- Bible. --- Criticism, interpretation, etc. --- Relation to the Old Testament. --- Quotations in the New Testament.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Cohabitation pluri-ethnique --- Ethnic relations --- Etnische relaties --- Groupes ethniques -- Relations --- Interethnic relations --- Relaties [Etnische ] --- Relations among ethnic groups --- Relations entre groupes ethniques --- Relations ethniques --- Relations interculturelles --- Relations interethniques --- Culture conflict --- United States --- Intergroup relations --- Multiculturalism --- Ethnopsychology --- Ethnic relations.