Kombinatorika v logickém programování: implementace a aplikace

Abstrakt

Článek prezentuje nové techniky pro kombinatorické výpočty v prostředí logického programování.

Klíčová slova

• Combinatorics
• Logic
• Programming
• Implementations
• Applications