Ich möchte gerne auf Prolog unter Java zurückgreifen.
Um Komplexe Logische Funktionen besser ab zu bilden.
Im eigentlichen wäre es nett mit ISO Prolog zu arbeiten
Wenns um einen SAT Solver geht könntest du damit arbeiten [1].
Ansosten gibt es auch eine Java Implementation von ISO Prolog [2].
Es gibt auch einen recht informativen post auf StackOverflow dazu [3].