Choose an application

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

This volume was motivated by the Year of Prolog initiative, launched to celebrate the 50th anniversary of the emergence of Prolog through the work of Alain Colmerauer’s team in Marseille. The volume editors, authors, and scientific advisors and reviewers have been the leading researchers and programmers in this field over decades, and the book represents an excellent overview of the field, its successes, and its future. After a first chapter that gently introduces the Prolog programming language using examples, the next 7 papers discuss general views of the language, possible extensions for the future, and how Prolog can generally be used to solve problems; the next 5 papers explore ideas and experiences of teaching Prolog programming and then 2 papers discuss technology that has been developed for help in that teaching; the next 3 papers describe new languages based on Prolog which show future directions for logic programming; the next 5 chapters explain the applications that were the finalists for the 2022 Alain Colmerauer Prize; and the final 8 papers describe applications developed using the Prolog language, demonstrating the language’s range.

Prolog (Computer program language) --- Artificial intelligence. --- Computer science. --- Artificial Intelligence. --- Computer Science Logic and Foundations of Programming. --- Informatics --- Science --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers

Choose an application

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

Computer science --- Programming --- Computer. Automation --- programmeren (informatica) --- programmeertalen --- software engineering

Choose an application

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

681.3*D16 --- 681.3*I23 <063> --- 681.3*D16 Computer science--?*D16 --- 681.3*D16 Computerwetenschap--?*D16 --- Computer science--?*D16 --- Computerwetenschap--?*D16 --- 681.3*I23 <063> Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)--Congressen --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)--Congressen --- Conferences - Meetings

Choose an application

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

"The Tenth International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and its various extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic and commonsense reasoning, expert systems implementation, deductive databases, and applications such as computer-aided manufacturing. David S. Warren is Professor of Computer Science at the State University of New York, Stony Brook. Topics covered: Theory and Foundations. Programming Methodologies and Tools. Meta and Higher-order Programming. Parallelism. Concurrency. Deductive Databases. Implementations and Architectures. Applications. Artificial Intelligence. Constraints. Partial Deduction. Bottom-Up Evaluation. Compilation Techniques."

Logic programming --- 681.3*I23 --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Programmation logique --- Congresses --- Congrès --- Logic programming - Congresses --- COMPUTER SCIENCE/Programming Languages

Choose an application

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

The International Symposium on Practical Aspects of Declarative Languages (PADL) is a forum for researchers and practioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including functions, relations, logic, and constraints. Declarative languages build on sound theoretical foundations to provide attr- tive frameworks for application development. Existing languages have been s- cessfully applied to a wide array of real-world situations, and new developments intheoryandimplementationhaveopenedupnewapplicationareas.Conversely, applications have driven progress in the theory and implementation of decla- tive systems, as well as bene?ted from this progress. The 10th PADL Symposium was held in San Francisco, California during January 7-8, 2008, and was co-located with the ACM Symposium on Prin- ples of ProgrammingLanguages(POPL). From 44 submitted papers, the PADL ProgramCommittee selected 20 for presentation at the symposium, based upon at least three reviews for each paper provided from PC members and ad- tional referees. Two invited talks were also presented at the conference: one by John Launchbury entitled Industrial Functional Programming  and the other by Walter Wilson entitled Large-Scale Logic Servers in Business and Gove- ment.  Following what has become a tradition at PADL symposia, the PADL P- gramCommitteeselectedonepapertoreceivetheMostPracticalPaper award. This year the paper judged best in terms of practicality, originality, and cl- ity was: Certi?ed Development Tools Implementation in Objective Caml,  by Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean- Louis Colaco, Thomas Moniot, and Philippe Wang. Congratulations to these authors for this award.

Computer science --- Programming --- Computer. Automation --- programmeren (informatica) --- programmeertalen --- software engineering