Translating a list to another list in prolog -


i tried write simple code in prolog translate list list. instance, if call listtrans([a,b,c],l), l become [1,2,3]. (a,b,c replaced 1,2,3). faced syntax error in last line. problem? here code:

trans(a,1). trans(b,2). trans(c,3).  listtrans([],l). listtrans([h|t],l1):-    trans(h,b),    append(b,l,l2),    listtrans(t,l2).

the error because in code:

listtrans([h|t],l1):-    trans(h,b),    append(b,l,l2),    listtrans(t,l2).

the variable l1 declared in head, not referenced anywhere: mispelled something?

anyway, code not going work.

moreover, using append/3 kind of tasks defined recursion considered terrible (also because of bad performance out of it).

applying function list straightforward. know in prolog don't write y = f(x) rather declare functional relation between x , y as: f(x, y).. (that's did trans(x,y)).

now (easy) recursive formulation:

  • the transformed empty list empty list
  • the transformation of [x|xs] [y|ys] if trans(x,y) , recursively transform xs ys

or expressed in prolog:

listtrans([],[]). listtrans([x|xs],[y|ys]) :- trans(x,y), listtrans(xs,ys).

i recommend reading first 4 chapters of learn prolog now better understand these concepts.


-

Comments

Post a Comment

Popular posts from this blog

facebook - android ACTION_SEND to share with specific application only -

in android application have 4 buttons facebook , viber , telegram , whatsapp , want share different content based on each button. for example if user clicks on viber button want user action_send share content viber only. i found this explains how facebook , twitter seems it's calling specific class name of application don't know applications wanna use except facebook. all android apps have unique id, first have check if these apps installed in user's device , can pass unique id via intent sharing. according below: unique ids different apps : viber : com.viber.voip telegram : org.telegram.messenger whatsapp : com.whatsapp check if these apps installed , if installed send messages through intent. private void sendmessage(context context,string message, string appids) { final boolean isappinstalled =isappavailable(context, appids); if (isappinstalled) { intent myintent = new intent(intent.action_send); myintent.settype("text/p...
Read more

python - Creating a new virtualenv gives a permissions error -

i'm getting following output when running virtualenv newvenv . traceback (most recent call last): file "/usr/local/bin/virtualenv", line 5, in <module> pkg_resources import load_entry_point file "/usr/lib/python2.7/dist-packages/pkg_resources.py", line 2727, in <module> add_activation_listener(lambda dist: dist.activate()) file "/usr/lib/python2.7/dist-packages/pkg_resources.py", line 700, in subscribe callback(dist) file "/usr/lib/python2.7/dist-packages/pkg_resources.py", line 2727, in <lambda> add_activation_listener(lambda dist: dist.activate()) file "/usr/lib/python2.7/dist-packages/pkg_resources.py", line 2227, in activate self.insert_on(path) file "/usr/lib/python2.7/dist-packages/pkg_resources.py", line 2334, in insert_on self.check_version_conflict() file "/usr/lib/python2.7/dist-packages/pkg_resources.py", line 2373, in check_version_conflict...
Read more

go - Idiomatic way to handle template errors in golang -

say have html/template following: <html> <body> <p>{{somefunc .somedata}}</p> </body> and somefunc returns error. there idiomatic way deal this? if write directly responsewriter , status code 200 has been written before encounter error. var tmpl *template.template func handler(w http.responsewriter, r *http.request) { err := tmpl.execute(w, data) // "<html><body><p>" has been written... // err? } preferably return status code 400 or such, can't see way if use template.execute directly on responsewriter . there i'm missing? since template engine generates output on-the-fly, parts of template preceding somefunc call sent output. , if output not buffered, (along http 200 status) may sent. you can't that. what can perform check before call template.execute() . in trivial case should enough call somefunc() , check return value. if choose path , return value of somefunc() c...
Read more