Notes (comments) with @Ignore
Improved exception message
Return PrologImplementation
New.
With results.
Load theories