prolog - Determine the type of characters -


i determine in prolog type of string of characters, if alphabetic, alphanumeric or numeric. example:

"i use page" alphabetic  "0c0d24e" alphanumeric

how can do?

the predicate available char_type/2, or better, code_type/2. apply each code in string, use maplist/2. problem it's wrong arguments order of code_type. service predicate needed (or download lambda, if you're using swi-prolog, ?- pack_install(lambda).).

without lambda:

code_type_(x,y) :- code_type(y,x).  ?- maplist(code_type_(alpha), "abc"). true.

with lambda:

?- [library(lambda)]. ?- maplist(\c^code_type(c,alpha), "abc"). true.

edit after comments, it's apparent more flexible parsing required. dcg it's recommended way go: library(dcg/basics) offers prebuilt 'categorizer', , highlights proper way write own, combining code_type: instance, here added rule:

%%  prolog_var_name(-name:atom)// semidet. % %   matches prolog variable name.  intended deal %   quasi quotations embed prolog variables.  prolog_var_name(name) -->     [c0], { code_type(c0, prolog_var_start) }, !,     prolog_id_cont(cl),     { atom_codes(name, [c0|cl]) }.  prolog_id_cont([h|t]) -->     [h], { code_type(h, prolog_identifier_continue) }, !,     prolog_id_cont(t). prolog_id_cont([]) --> "".

see how code_type/2 used qualify single characters...

more edit - note: untested

qualify_atom(atom, type) :-    atom_codes(atom, codes),    qualify_codes(codes, type).  qualify_codes(codes, type) :-    (  maplist(code_type_(alnum), codes)    -> type = alnum    ;  maplist(code_type_(alpha), codes)    -> type = alpha    ;  type = unknown    ).

then, work on list

?- maplist(qualify_atom, atoms, types).

edit

an update of answer mandatory: since library(yall) has been released in swi-prolog, , autoloaded, can write:

?- maplist([c]>>code_type(c,alpha), `abc`).

also, note change in literal representation: double quotes in swi-prolog ver.7+ don't represent anymore list of character codes.


Comments

Post a Comment

Popular posts from this blog

How to mention the localhost in android -

i trying call localhost in android application. unfortunately not possible used several methods emulator local host http://10.0.2.2/android/dbconnection.php and network ip address http://192.168.1.xx/android/dbconnection.php also http://localhost:8080/android/dbconnection.php but nothing connected localhost. purpose refer stackoverflow answers not working i facing same problem when worked on localhost. referred stackoverflow answer got solution create new emulator works fine in new emulator.
Read more

php - Calling a template part from a post -

i include iframe within post in wordpress. located inside content of post, meaning cannot in post template file, otherwise either before or after. i'd add facebook plugin within posts: <div id="socialwrap"><div class="fb-like" data-href="http://onlinearizonahomes.info" data-send="true" data-width="450" data-show-faces="true" data-font="arial"></div></div> i thinking of calling template part within post <?php get_template_part( 'social' ); ?> cannot use php within post without plugin (i'd avoid using plugin this). an alternative using javascript create html in post, seems unnecessary use of javascript. what best way add html within wordpress post? you can use shortcode. add functions.php function cudjex_fbshare( $atts, $content = null ) { global $post; $link = get_permalink($post->id); return '<div id="socialwrap...
Read more

c# - String.format() DateTime With Arabic culture -

check below code snippet, namespace testdateconvertion { class program { static void main(string[] args) { datetime testvalue = new datetime(2013, 12, 15, 15, 33, 44); cultureinfo culture = new cultureinfo("ar-sa"); string stringvalue = string.format(culture, "{0:d} {0:hh:mm:ss}", testvalue); console.writeline(stringvalue); console.readline(); } } } it gives output 22/02/35 15:33:44 i not getting how possible. whats 35 doing in output there that's 13/12/2015 in hijri, 35 means 1435 in hijri, default date format saudi arabia.
Read more