summaryrefslogtreecommitdiff
path: root/prolog/facts
diff options
context:
space:
mode:
Diffstat (limited to 'prolog/facts')
-rw-r--r--prolog/facts/denotational_semantics_aux__predicates.py2
-rw-r--r--prolog/facts/family_relations.py2
2 files changed, 0 insertions, 4 deletions
diff --git a/prolog/facts/denotational_semantics_aux__predicates.py b/prolog/facts/denotational_semantics_aux__predicates.py
index 044c720..4bf315b 100644
--- a/prolog/facts/denotational_semantics_aux__predicates.py
+++ b/prolog/facts/denotational_semantics_aux__predicates.py
@@ -1,5 +1,3 @@
-# coding=utf-8
-
id = 2
name = 'denotational semantics aux. predicates'
diff --git a/prolog/facts/family_relations.py b/prolog/facts/family_relations.py
index 3b6af10..6be71fa 100644
--- a/prolog/facts/family_relations.py
+++ b/prolog/facts/family_relations.py
@@ -1,5 +1,3 @@
-# coding=utf-8
-
id = 1
name = 'family relations'