Du verwendest einen veralteten Browser. Es ist möglich, dass diese oder andere Websites nicht korrekt angezeigt werden. Du solltest ein Upgrade durchführen oder ein alternativer Browser verwenden.
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].