wkh
df8bcdfaf1
- 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
7 lines
146 B
Plaintext
7 lines
146 B
Plaintext
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)
|