Declarative solutions to partitioned-grid problems

Keyphrases

• Logic Programming 100%
• Parallel Computing 50%
• Number of Steps 50%
• Novel Combinations 50%
• Prolog 50%
• Correctness Proofs 50%
• Logical Variable 50%
• Functional Program 50%
• Single-assignment 50%
• Functional Paradigm 50%
• Grid-based 50%
• Logic Programming Language 50%

INIS

• solutions 100%
• grids 100%
• applications 50%
• transformations 50%
• assignments 50%
• prolog 50%
• programming languages 50%

Computer Science

• Logic Programming 100%
• Backtracking 33%
• Correctness Proofs 33%
• Functional Program 33%
• Single Assignment 33%
• Parallel Computer 33%
• Programming Language 33%