@misc{indiciae1299b6d48e89, title = {Solving Constraint-Satisfaction Problems In Prolog Language}, author = {Nachtsheim, Philip R.}, year = {1991}, url = {https://ntrs.nasa.gov/citations/19910000620}, note = {Source identifier: 19910000620} }