A new intelligent backtracking scheme for Prolog: a summary of results.

Jia-Huai You, Brian Wong, Chung-Sea Law

Browse the full ICTAI paper archive.