ubcsat un programme java pour simuler l'inférence d'une base de connaissances, basé sur l'algorithme de raisonnement par l’absurde