Backtracking without trailing in CLP (RLin)

Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation - PLDI '94 ◽

10.1145/178243.178488 ◽

1994 ◽

Author(s):

Pascal Van Hentenryck ◽

Viswanath Ramachandran

Download Full-text