From 45b460caa65251fa4eed30ba635817ba979802b9 Mon Sep 17 00:00:00 2001 From: "Abdulrahman S. Omar" Date: Tue, 12 May 2026 17:37:12 -0400 Subject: [PATCH] Add is-ground function as a counter-part to is-var --- src/metta.pl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/metta.pl b/src/metta.pl index 1326d04e..235aeede 100644 --- a/src/metta.pl +++ b/src/metta.pl @@ -189,6 +189,7 @@ 'get-metatype'(X, 'Symbol') :- atom(X), !. % e.g., a 'is-var'(A,R) :- var(A) -> R=true ; R=false. +'is-ground'(A,R) :- ground(A) -> R=true ; R=false. 'is-expr'(A,R) :- is_list(A) -> R=true ; R=false. 'is-space'(A,R) :- atom(A), atom_concat('&', _, A) -> R=true ; R=false. @@ -304,7 +305,7 @@ 'first-from-pair', 'second-from-pair', 'car-atom', 'cdr-atom', 'unique-atom', 'alpha-unique-atom', repr, repra, parse, 'println!', 'readln!', test, assert, 'mm2-exec', atom_concat, atom_chars, copy_term, term_hash, foldl, first, last, append, length, 'size-atom', sort, msort, member, 'is-member', 'is-alpha-member', 'exclude-item', list_to_set, maplist, eval, reduce, 'import!', - 'add-atom', 'remove-atom', 'get-atoms', match, 'is-var', 'is-expr', 'is-space', 'get-mettatype', + 'add-atom', 'remove-atom', 'get-atoms', match, 'is-var', 'is-ground', 'is-expr', 'is-space', 'get-mettatype', decons, 'decons-atom', 'py-call', 'get-type', 'get-metatype', '=alpha', concat, sread, cons, reverse, '#+','#-','#*','#div','#//','#mod','#min','#max','#<','#>','#=','#\\=','set_hook', 'union-atom', 'cons-atom', 'intersection-atom', 'subtraction-atom', 'index-atom', id,