tplibre.txt

A usefull introduction of basic usage, and problems solving in prolog

/*******************************************************
 * registerEvent(Name, Place, Start-Month, Start-Date, *
 *               End-Date, Classification, Genre)      *
 *******************************************************/

registerEvent(grungefest2000, bradford, 9, 12, 14, adolescent, music).
registerEvent(moti-curry-house, bradford, -1, -1, -1, cheap, restaurant).
registerEvent(the-national-russian-jazz-ensemble, bradford, 1, 1, 1, family, music).
registerEvent(horrorfest-2000, leeds, 6, 4, 6, adult, cinema).
registerEvent(kiddyland-gokarting-championships, leeds, 10, 4, 4, family, sport).
registerEvent(dust, leeds, -1, -1, -1, adult, nightclub).
registerEvent(the-old-bar, leeds, -1, -1, -1, cheap, restaurant).
registerEvent(est-est-est, leeds, -1, -1, -1, expensive, restaurant).
registerEvent(corn-exchange-mall, leeds, -1, -1, -1, family, shopping).
registerEvent(manchester-city-zoo, manchester, -1, -1, -1, family, animal).
registerEvent(bbc-radio-5-live, manchester, 6, 7, 8, family, music).
registerEvent(steak-house, manchester, -1, -1, -1, medium, restaurant).
registerEvent(york-equine-festival, york, 5, 7, 14, family, sport).
registerEvent(york-science-museum, york, -1, -1, -1, family, science).
registerEvent(the-flying-horse-pub, york, -1, -1, -1, medium, restaurant).

foodAvailableAt(grungefest2000, cheap).
foodAvailableAt(corn-exchange-mall, medium).
foodAvailableAt(manchester-city-zoo, expensive).
foodAvailableAt(york-equine-festival, medium).
foodAvailableAt(york-science-museum, medium).

distance(york, leeds, 50).
distance(york, manchester, 100).
distance(leeds, manchester, 75).
distance(leeds, bradford, 25).
distance(manchester, bradford, 90).
distance(york, bradford, 60).

/*Probl鑝e : si on tape "distance(leeds, york, X)", le systeme renvoie no, 
 *mais on va essayer d'関iter de taper 2 fois les distances*/


/***********************************
 * F O N C T I O N S   U T I L E S *
 ***********************************/

near(X,Y)		   :- X = Y ;
			     (distance(X,Y,D), D =< 50) ;
			     (distance(Y,X,D), D =< 50).
				 
/* on consid鑢e comme pr鑣, 2 villes identique ou s閜ar閑s de moins de 50 km
 * le ";" est un ou, et tester la distance en inversant les param阾res a 関it