Enhance s(CASP) profiles

JanWielemaker · JanWielemaker · commit ded2ed27061c · 2021-11-03T09:14:22.000+01:00
diff --git a/profiles/40-s(CASP).pl b/profiles/40-s(CASP).pl
@@ -3,6 +3,7 @@
 % Uncomment to suppress warnings
 %:- style_check(-discontiguous).
 %:- style_check(-singleton).
+%:- set_prolog_flag(scasp_unknown, fail).
 
 % Your program goes here
 
diff --git a/profiles/40-s(CASP).swinb b/profiles/40-s(CASP).swinb
@@ -12,6 +12,7 @@ This skeleton notebook pre-loads SWI-Prolog's libraries for s(CASP).  See
 % Uncomment to suppress warnings
 %:- style_check(-discontiguous).
 %:- style_check(-singleton).
+%:- set_prolog_flag(scasp_unknown, fail).
 </div>
 
 <div class="nb-cell program">
