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, 4 insertions, 0 deletions
diff --git a/prolog/facts/denotational_semantics_aux__predicates.py b/prolog/facts/denotational_semantics_aux__predicates.py
index 4bf315b..044c720 100644
--- a/prolog/facts/denotational_semantics_aux__predicates.py
+++ b/prolog/facts/denotational_semantics_aux__predicates.py
@@ -1,3 +1,5 @@
+# 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 6be71fa..3b6af10 100644
--- a/prolog/facts/family_relations.py
+++ b/prolog/facts/family_relations.py
@@ -1,3 +1,5 @@
+# coding=utf-8
+
id = 1
name = 'family relations'