search

friguzzi / cplint

cplint is a suite of programs for reasoning with probabilistic logic programs
Other
67 stars 14 forks source link

ENHANCED: Avoid frequent predicate_property/2 on undefined predicates… #37

Closed JanWielemaker closed 4 years ago

JanWielemaker commented 4 years ago

…. This

is quite expensive for SWI-Prolog as it searches the autoload index on each call.

Saves nearly 10% on the test suite :)