Parallel and Constraint Logic Programming: An Introduction to Logic, Parallelism and Constraints - Brossura
Sinossi
1. Introduction.- 2. Logic Programming.- 2.1 Logic.- 2.2 Propositional Logic.- 2.3 First-Order Logic.- 2.4 Resolution.- 2.5 Logic Programming.- 2.6 Pure Prolog.- 2.7 Prolog.- 2.8 Prolog Applications.- 2.9 Prolog Implementation.- 2.10 Selected Reading.- 3. Parallel Logic Programming.- 3.1 Introduction.- 3.2 Parallelism in Logic Programs.- 3.3 OR-Parallelism.- 3.4 AND-Parallelism.- 3.5 Combining AND/OR Parallelism.- 3.6 Case Studies: Languages for and Examples of Parallel Logic Programming.- 3.7 Conclusions.- 4. Constraint Logic Programming.- 4.1 Introduction.- 4.2 Combinatorial Problems Tackled by CLP: An illustrative example.- 4.3 Unification Upgraded: Constraint Solving.- 4.4 Case Studies: Languages for and Examples of Constraint Logic Programming.- 4.5 Applications of Constraint Logic Programming.- 4.6 CLP and the future.- References.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
