dealing with universal blogic statements

KNowledgeOnWebScale · Jun 28, 2023 · d89bcf4 · d89bcf4
1 parent f87d8ba
commit d89bcf4
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 7 deletions.
diff --git a/rdfsurfaces/universal/README b/rdfsurfaces/universal/README
@@ -1,5 +1,5 @@
-------------------------------------
-Calculate pi using Nilakantha series
-------------------------------------
+---------------------------
+Universal blogic statements
+---------------------------
 
-See http://www.wikihow.com/Calculate-Pi
+Given that everybody loves somebody who is lonely derive that bob loves somebody who is lonely.
diff --git a/rdfsurfaces/universal/universal.s b/rdfsurfaces/universal/universal.s
@@ -1,6 +1,3 @@
-%:- dynamic('<http://books.example/loves>'/2).
-%:- dynamic('<http://books.example/is>'/2).
-
 % everybody loves somebody who is lonely
 '<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(['_:A'],
     (