PETINA is a Personalized Tourist Information Advisor system aiming at helping tourists to construct tours satisfying specified constraints. The system consults a large database that contains tourist data. PETINA has been implemented in the ElipSys language, which is a pure parallel logic programming system extended with various powerful mechanisms and features to allow efficient parallel execution. Although the expressive power of logic programming is profitable for the development of PETINA, standard Prolog systems lack of facilities that are vital for the PETINA application to work. ElipSys haa proved to be very suitable tool for the implementation of PETINA, as most of the former’s features are indispensable for handling the complexity of the encountered problems.
[1]
Pascal Van Hentenryck.
Constraint satisfaction in logic programming
,
1989,
Logic programming.
[2]
David S. Johnson,et al.
Computers and Intractability: A Guide to the Theory of NP-Completeness
,
1978
.
[3]
William F. Clocksin,et al.
Programming in Prolog
,
1987,
Springer Berlin Heidelberg.
[4]
David H. D. Warren,et al.
Definite Clause Grammars for Language Analysis - A Survey of the Formalism and a Comparison with Augmented Transition Networks
,
1980,
Artif. Intell..
[5]
Leon Sterling,et al.
The Art of Prolog
,
1987,
IEEE Expert.