Handbuch-Beispiele als Test, search/seek mit Schlüsseltabelle

- doc/handbuch.txt: OCR-Text des COHERENT-/rdb-Handbuchs - demo/handbuch/ und test/handbuch_test.rb: Beispiele aus dem Lehrbuchteil, mise run test führt sie mit aus - search/seek: Schlüsselspalten aus dem Kopf der Schlüsseltabelle - gregorian -u ohne führende Null im Monat, mean ganzzahlig ohne .00 - Mit justify aufgefüllte Spaltennamen werden wieder gefunden - coherent.pdf in .gitignore
2026-10-14 21:48:46 +02:00
parent a38311021d
commit df8bcdfaf1
49 changed files with 21167 additions and 16 deletions
@@ -0,0 +1,6 @@
+Female
+------
+michele
+beth
+sandy
+jan
@@ -0,0 +1,6 @@
+Name	Isa
+----	---
+rod	human
+human	mammal
+mammal	animal
+animal	lifeform
@@ -0,0 +1,6 @@
+Male
+----
+kirk
+rod
+shawn
+durk
@@ -0,0 +1,4 @@
+Parent	Child
+------	-----
+michele	rod
+kirk	rod
@@ -0,0 +1,6 @@
+True	If
+----	--
+mother(X,Y)	female(X) , parent(X,Y)
+father(X,Y)	male(X) , parent(X,Y)
+son(X,Y)	male(X) , parent(Y,X)
+isa(X,Y)	isa(X,Z) , isa(Z,Y)