<div class="notebook"> <div class="nb-cell markdown" name="md1"> # Multiple identical statements change the number of models. Currently, in s(CASP), if you add the same statements multiple times, it can change the number of models, despite the fact the models returned are identical. </div> <div class="nb-cell program" data-background="true" name="p1"> :- use_module(library(scasp)). mortal(X) :- human(X). human(socrates). human(socrates). </div> <div class="nb-cell markdown" name="md2"> The query below returns two identical models. </div> <div class="nb-cell query" data-chunk="3" data-run="onload" name="q1"> ? mortal(X). </div> </div>