Book:Applications of Prolog

From TextbookRevolution

Jump to: navigation, search

Bibliographical Data

Title:Applications of Prolog
Author:Attila Csenki
Subjects:Computer Science
Key words:Prolog, search, implementation
Education Level:Higher Education
License:All Rights Reserved - Standard Copyright
Description:1. Enigma 1225: Rows are Columns

1.1 A Puzzle 1.2 First Thoughts 1.3 Symbolic Solutions 1.4 Implementation Details 1.4.1 Design Decisions 1.4.2 Admissible Permutations 1.4.3 Generating SymbolicMatrices 1.4.4 Permuting Rows 1.4.5 Transposing 1.4.6 MostGeneral Patterned SymbolicMatrices 1.4.7 Distinct Rows 1.4.8 Evaluating Patterns 1.4.9 Computing Totals 1.4.10 Complete Implementation 1.5 Enhanced Implementation 1.5.1 What isWrong with the Present Implementation? 1.5.2 Some Results fromthe Theory of Permutations 1.5.3 Generating Representative Permutations 1.5.4 Finishing Touches

2. Blind Search 2.1 Digression on theModule System in Prolog 2.2 Basic Search Problem 2.3 Depth First Search 2.3.1 Naive Solution 2.3.2 Incremental Development Using an Agenda 2.4 Breadth First Search 2.5 Bounded Depth First Search 2.6 Iterative Deepening 2.7 The Module blindsearches 2.8 Application: A Loop Puzzle 2.8.1 The Puzzle 2.8.2 A ‘Hand-Knit’ Solution 2.8.3 Project: Automating the Solution Process 2.8.4 Project: Displaying the Board 2.8.5 Complete Implementation 2.8.6 Full Board Coverage 2.8.7 AvoidingMultiple Solutions 2.8.8 Variants of the Loop Puzzle 2.9 Application: The Eight Puzzle 2.9.1 The Puzzle 2.9.2 Prolog Implementation

3. InformedSearch 3.1 The Network Search Problemwith Costs 3.1.1 CostMeasures 3.1.2 The A–Algorithm 3.1.3 Iterative Deepening A and its Admissible Version 3.2 Case Study: The Eight Puzzle Revisited 3.2.1 The Heuristics 3.2.2 Prolog Implementation 3.3 Project: Robot Navigation 3.4 Project: The Shortest Route in aMaze 3.4.1 Suggested Implementation Details 3.5 Project: Moving a Knight

4. Text Processing 4.1 Text Removal 4.1.1 PracticalContext 4.1.2 Specification 4.1.3 Implementation 4.1.4 Using a Linux Shell Script 4.1.5 Application: RemovingModel Solutions 4.2 Text Generation and Drawing with LATEX 4.2.1 Cycloids 4.2.2 Task 4.2.3 Solution 4.3 Exercises

A. Solutions of Selected Exercises A.1 Chapter 1 Exercises A.2 Chapter 2 Exercises A.3 Chapter 3 Exercises A.4 Chapter 4 Exercises

B. Software-a free ebook from bookboon.com

Download

URL:http://bookboon.com
Download link:http://bookboon.com/uk/student/it/applications-of-prolog



Flags:
Duplicates: