How would you compare two similar bases of facts in Prolog?

This page summarizes the projects mentioned and recommended in the original post on

Our great sponsors
  • SonarQube - Static code analysis for 29 languages.
  • Scout APM - Less time debugging, more time building
  • OPS - Build and Run Open Source Unikernels
  • GitHub repo woolpack

    Logtalk Pack Registry

    If you want to use it and get stuck, give me a shout and I'll help you get running with it. Here's my Logtalk pack repo if you want to install my Situation Calculus packages: (You'll need SitCalc). My code to write to file isn't public, but I can share it with you. Here's an example extract from a log (this is a log, not Prolog per se):

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts