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

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

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

C# MVC AngularJS -

-
code: [responsetype(typeof(list<myclass>))] public async task<ihttpactionresult> get() { var userid = user.identity.name; var obj = await this.findallasync(userid); if (obj == null) { return this.notfound(); } return this.ok(obj); } it doesn't seem throw errors server side however, client side in angular controller 1 have ideas? i had code as: responsetype(typeof(bool)] , since changing not work, returning list object not allowed or need in either angular js file or c# controller class work, e.g. json-fy it?!?! refer http://www.asp.net/web-api/overview/getting-started-with-aspnet-web-api/build-a-single-page-application-(spa)-with-aspnet-web-api-and-angularjs code base. have done change 1 of calls return list cannot see why different. have not modified client side controller class significance other upgrade code new syntax. $http.get("/api/crosswordhelper").then( function (response) { //$sco...
Read more