From: Jason Hemann Date: Wed, 11 Dec 2024 01:56:44 +0000 (-0500) Subject: s/performance characters/performance characteristics/ X-Git-Tag: v0.10.0~97^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=48a42ae140538a92fe140927bcb3c20e10360dc1;p=scryer-prolog.git s/performance characters/performance characteristics/ Small typo fix in docs. --- diff --git a/src/lib/tabling.pl b/src/lib/tabling.pl index e9008085..8ae3f312 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