preguntar acerca de logic-programming

Je suis un développeur python de longue date et j'ai récemment été introduit dans Prolog. J "aime le concept d" utiliser des règles de relation pour certains types de tâches, et je voudrais ajouter à mon répertoire. Existe-t-il de bonnes bibliothèq …

comme beaucoup de programmeurs J'ai étudié Prolog à l'université, mais très peu. Je comprends que Prolog et Datalog sont étroitement liés, mais Datalog est plus simple? En outre, je crois que J'ai lu que Datalog ne dépend pas de l'ordre des clauses …