String Manipulation using SWI-Prolog -


i trying create prolog program accept input "i love you" string , output

"i love you" "i love yo" "i love y" "i love " "i love" "i lov" "i lo" "i l" "i " "i"

i using swi-prolog, , code have following.

sublist(s, l) :-   append(_, l2, l),   append(s, _, l2).  contains(a, b) :-   atom(a),   name(a, aa),   contains(aa, b).  contains(a, b) :-   sublist(b, a),   b \= [].

i use following execute code :

?- forall(contains('i love you',x),writef("%s\n",[x])).

the following output generated shown.

i  l lo lov love love  love y love yo love   l  lo  lov  love  love   love y  love yo  love l lo lov love love  love y love yo love o ov ove ove  ove y ove yo ove v ve ve  ve y ve yo ve e e  e y e yo e   y  yo  y yo o ou u

i appreciate , help. lot in advance.

i dont understand request (what mean that accept input "i love you" string ?) don't need program produce output:

?- forall(append(_, [f|s], "i love you"), format('"~s"~n', [[f|s]])). "i love you" " love you" "love you" "ove you" "ve you" "e you" " you" "you" "ou" "u" true.

the second argument of append/3 has been 'patterned' @ least of length 1, avoid last empty string result otherwise.

edit answer far it's wrong: didn't noticed shows tail! here debugged procedure, not acting generator:

pheader([x]) :-     format('~s~n', [[x]]), !. pheader(l) :-     format('~s~n', [l]),     l = [_|xs],     pheader(xs).

yields

?- pheader("i love you"). "i love you" " love you" "love you" "ove you" "ve you" "e you" " you" "you" "ou" "u" true.

then need 'program' it, @ last!

edit regain initial behaviour (header generator), here 2 argument procedure

pheader([x|xs], [x|xs]). pheader([_|xs], r) :-     pheader(xs, r).

yields, @ last, desidered output:

?- forall(pheader("i love you",x),format('"~s"~n', [x])). "i love you" " love you" "love you" "ove you" "ve you" "e you" " you" "you" "ou" "u" true.

Comments

Post a Comment

Popular posts from this blog

get url and add instance to a model with prefilled foreign key :django admin -

Image
i have page in each contest shown in row. each row contains contest id , link other model names have foreign key contest. news model: class news(models.model): title = models.charfield(max_length=50, null=true) description = models.textfield() time = models.timefield( default= datetime.datetime.now().time()) contest = models.foreignkey(contest) i want use admin adding , changing these models. want when user clicks on 'news' has foreign key contest id=1, shows list of news value foreign key. use {% instance in instances %} <tr class="{% cycle 'row1' 'row2' %}"> <td>{{ instance.title }}</td> <td>{{ instance.starttime }}</td> <td>{{ instance.timespan }}</td> <td>{{ instance.date }}</td> <td><a href="/adm...
Read more

css - Make div keyboard-scrollable in jQuery Mobile? -

from can tell, although jquery-mobile-powered pages can contain divs overflow set scroll or auto, , these divs can scrolled one-screen bar or mouse wheel, cannot scrolled using arrow keys, page-up/page-down, or home/end. instead, official "page" div (with data-role="page") absorbs input. perhaps other divs can't acquire focus, i'm not sure. is there way around this? edit: jsfiddle of simple example: https://jsfiddle.net/qogz0shx/ <script src="https://ajax.googleapis.com/ajax/libs/jquery/2.1.4/jquery.min.js"></script> <script src="https://ajax.googleapis.com/ajax/libs/jquerymobile/1.4.5/jquery.mobile.min.js"> </script> <link rel="stylesheet" href="https://code.jquery.com/mobile/1.4.5/jquery.mobile-1.4.5.css"/> <style> #outer { overflow:scroll; height: 50vh; width: 50vw; } #inner { height: 500vh; width: 500vw; } ...
Read more

ruby on rails - Seeing duplicate requests handled with Unicorn -

recently upgraded our ec2 instances c3.large in order boost more unicorn workers handle increased traffic our site. (6xworkers per machine - 2 ec2 instances). when did this, started seeing duplicate records being created! looks somehow, maybe 2 unicorn workers attempting process same request? in nginx logs see 1 [post] request particular rails controller - yet 2 records being created in database. i'm hitting kind of race condition issue - have no idea how debug this. doesn't happen time, when it's frustrating well. noticed 2 database records within 5 seconds of each other. (and yes disable button when user clicks submit button). unicorn 4.8.2 ruby 1.9.3 rails 3.2.14 any great! thanks! although may not fix problem, upgrade ruby 2.0.0. there blog mentioning idea upgrade ruby 2.0.0 if using unicorn. for example: https://www.digitalocean.com/community/articles/how-to-optimize-unicorn-workers-in-a-ruby-on-rails-app specifically: if using ruby 1.9, ...
Read more