diff --git a/src/lib/tabling.pl b/src/lib/tabling.pl index e90080856..8ae3f312d 100644 --- a/src/lib/tabling.pl +++ b/src/lib/tabling.pl @@ -1,7 +1,7 @@ /** Tabling, also called SLG resolution. SLG resolution is an alternative execution strategy that sometimes - helps to improve termination and performance characters of Prolog + helps to improve termination and performance characteristics of Prolog predicates. To enable this execution strategy for a Prolog predicate, add a