chess - Eight Queens Puzzle in CLIPS -


i'm trying develop solver 8 queens problem (https://en.wikipedia.org/wiki/eight_queens_puzzle) in clips, i'm newbie in language. first of all, trying make rule verify new assertion comparing column/line of previous assertions. working when inserted duplicated line, when inserted duplicated column, doesn't detect it. what's wrong code? 

(defrule verificaassercaodamas ; verifica se atende regras    ?novaposicao <- (d ?line ?column)     ?posicao <- (d ?line2 ?column2)    (test (neq ?posicao ?novaposicao))    (test (or (eq ?line2 ?line) (eq ?column column2))  )    =>    (retract ?novaposicao)    (if (< (+ ?column 1) 9)        (assert (d ?line (+ ?column 1) )) ) clips> (assert(d 0 0)) <fact-1> clips> (assert(d 1 0)) <fact-2> clips> (assert(d 0 1)) <fact-3> clips> (agenda) 0       cerificaassercaodamas: f-3, f-1 0       cerificaassercaodamas: f-1, f-3 total of 2 activations. clips>

you're using expression (eq ?column column2) comparing variable ?column symbol column2. need compare variable ?column2.

clips> (clear) clips>  (defrule verificaassercaodamas     ?novaposicao <- (d ?line ?column)     ?posicao <- (d ?line2 ?column2)    (test (neq ?posicao ?novaposicao))    (test (or (eq ?line2 ?line) (eq ?column ?column2)))    =>    (retract ?novaposicao)    (if (< (+ ?column 1) 9)        (assert (d ?line (+ ?column 1))))) clips> (assert (d 0 0)) <fact-1> clips> (assert (d 1 0)) <fact-2> clips> (assert (d 0 1)) <fact-3> clips> (agenda) 0      verificaassercaodamas: f-3,f-1 0      verificaassercaodamas: f-1,f-3 0      verificaassercaodamas: f-2,f-1 0      verificaassercaodamas: f-1,f-2 total of 4 activations. clips>

if you're testing equality/inequality of numbers, should use = , != (or <>) functions these throw errors non-numeric arguments:

clips> (clear) clips>  (defrule verificaassercaodamas     ?novaposicao <- (d ?line ?column)     ?posicao <- (d ?line2 ?column2)    (test (neq ?posicao ?novaposicao))    (test (or (= ?line2 ?line) (= ?column column2)))    =>    (retract ?novaposicao)    (if (< (+ ?column 1) 9)        (assert (d ?line (+ ?column 1))))) [argacces5] function = expected argument #2 of type integer or float  error: (defrule main::verificaassercaodamas    ?novaposicao <- (d ?line ?column)    ?posicao <- (d ?line2 ?column2)    (test (neq ?posicao ?novaposicao))    (test (or (= ?line2 ?line) (= ?column column2) clips>

you can remove duplicate activations checking fact index of ?novaposicao greater 1 ?posicao:

clips> (clear) clips>  (defrule verificaassercaodamas     ?novaposicao <- (d ?line ?column)     ?posicao <- (d ?line2 ?column2)    (test (< (fact-index ?posicao) (fact-index ?novaposicao)))    (test (or (= ?line2 ?line) (= ?column ?column2)))    =>    (retract ?novaposicao)    (if (< (+ ?column 1) 9)        (assert (d ?line (+ ?column 1))))) clips> (assert (d 0 0)) <fact-1> clips> (assert (d 1 0)) <fact-2> clips> (assert (d 0 1)) <fact-3> clips> (agenda) 0      verificaassercaodamas: f-3,f-1 0      verificaassercaodamas: f-2,f-1 total of 2 activations. clips>

-

Comments

Post a Comment

Popular posts from this blog

facebook - android ACTION_SEND to share with specific application only -

in android application have 4 buttons facebook , viber , telegram , whatsapp , want share different content based on each button. for example if user clicks on viber button want user action_send share content viber only. i found this explains how facebook , twitter seems it's calling specific class name of application don't know applications wanna use except facebook. all android apps have unique id, first have check if these apps installed in user's device , can pass unique id via intent sharing. according below: unique ids different apps : viber : com.viber.voip telegram : org.telegram.messenger whatsapp : com.whatsapp check if these apps installed , if installed send messages through intent. private void sendmessage(context context,string message, string appids) { final boolean isappinstalled =isappavailable(context, appids); if (isappinstalled) { intent myintent = new intent(intent.action_send); myintent.settype("text/p...
Read more

python - Creating a new virtualenv gives a permissions error -

i'm getting following output when running virtualenv newvenv . traceback (most recent call last): file "/usr/local/bin/virtualenv", line 5, in <module> pkg_resources import load_entry_point file "/usr/lib/python2.7/dist-packages/pkg_resources.py", line 2727, in <module> add_activation_listener(lambda dist: dist.activate()) file "/usr/lib/python2.7/dist-packages/pkg_resources.py", line 700, in subscribe callback(dist) file "/usr/lib/python2.7/dist-packages/pkg_resources.py", line 2727, in <lambda> add_activation_listener(lambda dist: dist.activate()) file "/usr/lib/python2.7/dist-packages/pkg_resources.py", line 2227, in activate self.insert_on(path) file "/usr/lib/python2.7/dist-packages/pkg_resources.py", line 2334, in insert_on self.check_version_conflict() file "/usr/lib/python2.7/dist-packages/pkg_resources.py", line 2373, in check_version_conflict...
Read more

javascript - cocos2d-js draw circle not instantly -

i wondering how draw circles (or other shapes also) not instantly. so far tried drawcircle(args...) in ccdrawnode.js , drawcircle(args...) in cc.drawingprimitivecanvas class, , draw circles popping out instantly on screen. what if want achieve effect circular progressive bar, completes circle based on percentage of initialization? or more generally, if want draw circle respect prolonged period? thinking there drawcircle function elapsed time argument fail find any. or have implement own? thanks suggestions, far out of ideas. i think have implement own. think can achieve update circle drawing on each time update() function called.
Read more