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

javascript - Chart.js (Radar Chart) different scaleLineColor for each scaleLine -

-
Image
i try , create radar chart using chart.js has various colours each scaleline, or coloured between scalelines. wondering if possible? from: to: i have working graph, though there doesn't seem method change individual scale lines. kind regards leigh you can extend radar chart type this, so chart.types.radar.extend({ name: "radaralt", initialize: function (data) { chart.types.radar.prototype.initialize.apply(this, arguments); var originalscaledraw = this.scale.draw; var ctx = this.chart.ctx; this.scale.draw = function () { var linewidth = this.linewidth; // bypasses line drawing in originalscaledraw this.linewidth = linewidth; originalscaledraw.apply(this, arguments); ctx.linewidth = this.linewidth; var scale = this; // draw chart.helpers.each(scale.ylabels, function (label, index) { // color of ...
Read more

jquery - ReferenceError: CKEDITOR is not defined -

-
may repeated question, solutions provided on net including stackoverflow q-a not resolved issue. ckeditor (4.5.3) integrated in mvc application. ckeditor using on textarea in partial view. same partial view used in create , edit post form. both form having same .chtml page. partial view : <textarea id="description" name="description" class="form-control" >@html.raw(model.description)</textarea> having script: <script type="text/javascript"> ckeditor.replace('description', { filebrowserimageuploadurl: '@url.action("uploadeditorimage", "administrator")', htmlencodeoutput: true }); </script> in .chtml page added : <script src="~/ckeditor/ckeditor.js"></script> generating proper js examined in response. config.js : ckeditor.editorconfig = function( config ) { config.image_previewtext = ckeditor.tools.repeat(' ...
Read more

apache - Error with PHP mail(): Multiple or malformed newlines found in additional_header -

-
suddenly have started receiving above error without changes having been made script. host 1and1 (i know...) the script still works fine on different server, , suspicion there must have been server config change has lead this, although hosts plead ignorance. there's no information on above error @ in google can find - have ideas? server running apache if helps. had similar problem. came out of blue. no php code changed. what changed: php upgraded 5.5.25-1 5.5.26. a security risk in php mail() function has been fixed , newlines in additional_headers allowed no more. because newlines mean: starts email message (and surely don't want inject newlines through headers followed evil message). what have worked fine, e.g. having newlines after headers or passing whole message additional_headers , function no more. solution : sanitize headers. no multiple newlines in additional_headers argument. these count "multiple or malformed newlines":...
Read more