From eae1f5384656165b0b711452d6b5380b845b058f Mon Sep 17 00:00:00 2001 From: Jason Hemann Date: Tue, 10 Dec 2024 21:07:48 -0500 Subject: [PATCH 1/2] "bound to an atom" Quick typo. --- src/lib/builtins.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl index b62632183..744027c2e 100644 --- a/src/lib/builtins.pl +++ b/src/lib/builtins.pl @@ -2228,7 +2228,7 @@ %% callable(X). % -% True iff X is bound o an atom or a compund term. +% True iff X is bound to an atom or a compund term. :- non_counted_backtracking callable/1. From 2ff50f06bc8fcd7cf6831f7c5b556d168045562b Mon Sep 17 00:00:00 2001 From: Jason Hemann Date: Wed, 11 Dec 2024 08:05:03 -0500 Subject: [PATCH 2/2] Update builtins.pl s/compund/compound/ --- src/lib/builtins.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl index 744027c2e..f848fabd0 100644 --- a/src/lib/builtins.pl +++ b/src/lib/builtins.pl @@ -2228,7 +2228,7 @@ %% callable(X). % -% True iff X is bound to an atom or a compund term. +% True iff X is bound to an atom or a compound term. :- non_counted_backtracking callable/1.