Information Retrieval with Probabilistic DatalogProbabilistic reasoning for large scale databasesRetrieval of Complex Objects Using a Four-Valued Logic