Publication:3740274
From MaRDI portal
zbMath0603.68093MaRDI QIDQ3740274
Publication date: 1986
NP-complete problems; PROLOG; logic programming; intelligent backtracking; complexity of unification
68Q25: Analysis of algorithms and problem complexity
Related Items
Incremental constraint satisfaction for equational logic programming, Intelligent backtracking in \(\text{CLP}(\Re)\)