prolog - reversible "binary to number" predicate -

-

what best way convert binary bits (it might list of 0/1, example) numbers in reversible way. i've written native predicate in swi, there better solution ? best regards

use clp(fd) constraints, example:

:- use_module(library(clpfd)).  binary_number(bs0, n) :-         reverse(bs0, bs),         foldl(binary_number_, bs, 0-0, _-n).  binary_number_(b, i0-n0, i-n) :-         b in 0..1,         n #= n0 + b*2^i0,         #= i0 + 1.

example queries:

?- binary_number([1,0,1], n). n = 5.  ?- binary_number(bs, 5). bs = [1, 0, 1] .  ?- binary_number(bs, n). bs = [], n = 0 ; bs = [n], n in 0..1 ; etc.

Comments

Post a Comment

Popular posts from this blog

android - Spacing between the stars of a rating bar? -

-
ho can set spacing beween stars? thats ratingbar: ratingbar = (ratingbar) inflater.inflate(r.layout.ratingbar, null); ratingbar.setlayoutparams(new layoutparams(layoutparams.wrap_content, layoutparams.wrap_content)); the layout: <?xml version="1.0" encoding="utf-8"?> <ratingbar xmlns:android="http://schemas.android.com/apk/res/android" style="@style/mystyle" android:layout_alignparentright="true" android:layout_height="19dp" android:layout_width="wrap_content" android:numstars="5"> </ratingbar> the style: <style name="mystyle" parent="@android:style/widget.ratingbar"> <item name="android:progressdrawable">@drawable/android_r2_ratingstar_yellow</item> <item name="android:indeterminatedrawable">@drawable/android_r2_ratingstar_grey</item> </style> thanks, cheers you have ...
Read more

c# - How to execute a particular part of code asynchronously in a class -

-
i creating speech recognition engine that's going respond user commands.i have created button enable , disable speech recognition per user convenience.i have used dispose() of speech engine disable speech recoginition.here code private void button1_click(object sender, routedeventargs e) { engineon = !engineon; if (engineon) { speechengine = speech.createspeechengine(); //speech class creates , returns new speech engine. speechengine.audiolevelupdated += new eventhandler<audiolevelupdatedeventargs>(speechengine_audiolevelupdated); // use system's default microphone speechengine.setinputtodefaultaudiodevice(); speechengine.loadgrammar(new dictationgrammar()); // start listening speechengine.recognizeasync(recognizemode.multiple); } else { speechclass.myengine.dispose(); } } but disposal of speech obj...
Read more

c# - Asterisk click to call -

-
maybe of may know how achieve this. want this: click on link/button my phone rings, pick asterisk dials number me recipient phone rings i'm using asterisk 1.2 . i tried dial out . can make call 1 side. thanks in advance. you can use call files . read: asterisk auto-dial out . i have made simple cgi script called via web server creates call file (remember use temp directory) , moves /var/spool/asterisk/outgoing , asterisk rest of work. user perspective works described. remember normalize phone numbers (on web pages can have spaces, hyphens etc, while in call file must dialable numbers).
Read more