prolog - Can smb explain why this is **true** -

-

can smb explain why true?

not(g). not(g) :- g, !, fail.

it true because first clause reads:

not(_).

the code got there weird. name not not quite fit obvious declarative meaning.


Comments

Post a Comment

Popular posts from this blog

php - mySQL problems with this code? -

-
i having problems code , hoping can help. basically have issue whereby mysql running out of connections when script run hundreds of times in sequence. https://gist.github.com/anthonyts/b6c46d54ee8bf2d714b8 here database class: https://gist.github.com/anthonyts/89f5a831e31d970fb5e1 here error get: e_error: call member function query() on non-object stack trace: in db::single called @ /var/www/html/scripts/stalk/db.php (68) in db::single called @ /var/www/html/scripts/stalk/beanstalk_check_monitoring_logs.php (88) in {closure} called @ /var/www/html/application/libraries/stalk.php (80) in stalk::background called @ /var/www/html/scripts/stalk/ beanstalk_check_monitoring_logs.php (188) you should put db initialization: $con = mysql_connect(db_host, db_user, db_pass); mysql_select_db(db_database); $db = new db(db_host, db_user, db_pass, db_database); above your: $stalk = new stalk(array(beanstalkd_server, beanstalkd_port)); on top of script, create...
Read more

java - Checkbox item adds to spinner -

-
i have 2 checkbox , when checkbox item selected should added spinner. possible that? cant find on google, hoping can save me here :) spinner : public class checkbox extends appcompatactivity { @override protected void oncreate(bundle savedinstancestate) { super.oncreate(savedinstancestate); setcontentview(r.layout.activity_checkbox); spinner spinner; spinner = (spinner) findviewbyid(r.id.spinner2); arrayadapter adapter = arrayadapter.createfromresource(this, r.array.itinerary, android.r.layout.simple_spinner_item); spinner.setadapter(adapter); } the layout <checkbox android:id="@+id/cbsiargao" android:layout_width="match_parent" android:layout_height="wrap_content" android:text="surigao" android:layout_alignparenttop="true" android:layout_alignparentleft="true" android:layout_alignparentstart="true" android:layout_margintop="104dp" /...
Read more

java - Can't access ArrayList in other view? android null pointer exception -

-
i trying access arraylist of integers previous class set in previous view doesn't seem saving arraylist correctly when go new view think deletes whatever there? is there anyway access "lightinfo" set? connecttest declaration public class connecttest extends mainactivity { textview out; private static final int request_enable_bt = 1; private bluetoothadapter btadapter = null; private bluetoothsocket btsocket = null; private outputstream outstream = null; // known spp uuid private static final uuid my_uuid = uuid.fromstring("00001101-0000-1000-8000-00805f9b34fb"); // insert server's mac address private static string address = "a4:5e:60:eb:3c:e8"; arraylist<integer> temp = ((mainactivity) getapplicationcontext()).lightinfo; call temp creates error: string finalmessage = ""; (int = 0; < temp.size(); i++) { finalmessage = finalmessage + temp.get(i...
Read more