From d88c6199c29c8d1ae98ebaa28ffcf370c3f23e2f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Thu, 8 Oct 2015 10:16:10 +0100 Subject: [PATCH] docs --- C/atomic.c | 17 ++++++++--------- 1 file changed, 8 insertions(+), 9 deletions(-) diff --git a/C/atomic.c b/C/atomic.c index 568bd9545..d09715405 100644 --- a/C/atomic.c +++ b/C/atomic.c @@ -505,6 +505,14 @@ string_chars( USES_REGS1 ) return FALSE; } +/** @pred number_chars(? _I_,? _L_) is iso + +The predicate holds when at least one of the arguments is ground +(otherwise, an error message will be displayed). The argument _I_ must +be unifiable with a number, and the argument _L_ with the list of the +characters of the external representation of _I_. + +*/ static Int number_chars( USES_REGS1 ) { @@ -2326,15 +2334,6 @@ unifies with the number of characters forming that atom. Yap_InitCPred("string_length", 2, string_length, SafePredFlag); Yap_InitCPred("$atom_split", 4, atom_split, SafePredFlag); Yap_InitCPred("number_chars", 2, number_chars, 0); -/** @pred number_chars(? _I_,? _L_) is iso - -The predicate holds when at least one of the arguments is ground -(otherwise, an error message will be displayed). The argument _I_ must -be unifiable with a number, and the argument _L_ with the list of the -characters of the external representation of _I_. - - -*/ Yap_InitCPred("number_atom", 2, number_atom, 0); /** @pred number_atom(? _I_,? _L_)