Prolog. If Prolog found first solution then it stops finding -

-

task is: determine numbers a,b,c divider of n. example: (a=2,b=3,c=4,n=2 answer a,c).

so, wrote following code:

predicates     a(integer,integer)     m(integer,integer,integer,integer) clauses     a(x,n):-         0 = x mod n,         write(x).      m(a,b,c,n):-         a(a,n).     m(a,b,c,n):-         a(b,n).     m(a,b,c,n):-         a(c,n). goal     m(2,3,4,2).

but if prolog found first solution (in case a=2) stops , displays it. but, in case answer a=2, c=4. question "how prolog can check predicates"?

prolog begins backtracking when call fails. in situations, may necessary initialize performance of backtracking find other solutions. prolog has special predicate fail, calls unsuccessful finish, and, therefore, initializes refund.

so, rewrote code:

predicates     a(integer,integer)     m(integer,integer,integer,integer) clauses     a(x,n):-         0 = x mod n,         write(x),nl.      m(a,b,c,n):-         a(a,n),fail.     m(a,b,c,n):-         a(b,n),fail.     m(a,b,c,n):-         a(c,n). goal     m(2,3,4,2).

Comments

Post a Comment

Popular posts from this blog

node.js - Mongoose: Cast to ObjectId failed for value on newly created object after setting the value -

-
this question has answer here: what's mongoose error cast objectid failed value xxx @ path “_id”? 7 answers even though has been asked many times because entity has no valid objectid field. i came across situation objectid set value can casted objectid still error. the schema: var serviceschema = parammongoose.schema({ servicename:{ type: parammongoose.schema.types.objectid , ref: 'servicenames',required:true } }); pseudo code: servicefromdb=new service({servicename:'some name'}); servicefromdb.servicename='000000000000000000000001'; servicefromdb.save(function(paramerror,paramdata){ if(paramerror){ console.log('but but...',servicefromdb,paramerror) } }); the output of code is: but but... { servicename: 000000000000000000000001, _id: 55079a90286f49280364f78b } { [casterror: cast objectid faile...
Read more

gradle error "Cannot convert the provided notation to a File or URI" -

-
i have defined 2 system properties in gradle.properties: systemprop.builddir=build systemprop.cfgdir=build\\cfg and have following task defined in build.gradle: task clean(group:'clean',description:'clean project') << { ant.sequential { delete(dir: system.properties.builddir) mkdir(dir: system.properties.builddir) delete(dir: system.properties.cfgdir) mkdir(dir: system.properties.cfgdir) } } this generates following error: execution failed task ':clean'. > cannot convert provided notation file or uri: {dir=build}. following types/formats supported: - string or charsequence path, e.g 'src/main/java' or '/usr/include' - string or charsequence uri, e.g 'file:/usr/include' - file instance. - uri or url instance. but equivalent block of code not generate error , works expected: task clean(group:'clean',description:'clean project') << { ...
Read more

python - NameError: name 'subprocess' is not defined -

-
i'm trying make rng website: http://jamesdotcom.com/?p=417 . when run following code: captureimage = subprocess.popen( [ "fswebcam", "-r", "356x292", "-d", "/dev/video0", "static.jpg", "--skip", "10" ], stdout=devnull, stderr=devnull) captureimage.communicate() i following error message: nameerror: name 'subprocess' not defined what should do? thanks have imported first? import subprocess captureimage = subprocess.popen(["fswebcam", ...) subprocess included in python standard library since python 2.4. should not necessary install it.
Read more