-->

1010/ap

__

kodiak 17:59 (tech_notes#81)

how to formulate or traverse network of relations - embedding:

(?- (a character (name jekyll) (device ?z))) works out

but how do we find domains of that?

how is the equ and dif working out?

also notions/ideas such as embedding should operate as functions within datasets

working with kodiak to add facts and query 17:27 (tech_notes#80)

roughly translating paper using basic syntax and simplified syntax of a. each ...

examples from manual:

;;(each murder (agent person) (victim person)) ;; example from norvig - defined sub-relations for murder -> (rel agent murder person)
;;(each suicide (isa murder)) (each symptom (isa revelation))
;;(add-fact '(equ suicide agent victim))
;;(a suicide (victim john-doe))

;;(?- (a suicide (agent ?x) (victim ?y)))

example queries and output:

SWANK> (?- (dom pink-light ?what))
{1.0}  ?WHAT = GNOSTIC;  
{1.0}  ?WHAT = GNOSTICISM;  
; No value
SWANK> (show-worlds)

World   Cur Parents 
=====   === ======= 
W0      T   
W1      NIL W0 
W2      T   W0 
W3      T   W2 
NIL
SWANK> (?- (val ?sx ?y ?z))
{1.0}  ?SX = SYMPTOM;          ?Y = JEKYLL;    ?Z = TEXT;  
{1.0}  ?SX = SYMPTOMATIC;      ?Y = JEKYLL;    ?Z = TEXT;  
{1.0}  ?SX = SYMPTOMATIC;      ?Y = JEKYLL;    ?Z = text goes here;  
{1.0}  ?SX = SYMPTOMATIC;      ?Y = JEKYLL;    ?Z = text goes here;  
{1.0}  ?SX = MEETER;   ?Y = MEET10;    ?Z = JOHN-DOE;  
{1.0}  ?SX = AGENT;    ?Y = SUICIDE8;          ?Z = JOHN-DOE;  
{1.0}  ?SX = VICTIM;   ?Y = SUICIDE8;          ?Z = JOHN-DOE;  
{1.0}  ?SX = LOCATION;         ?Y = BALL1;     ?Z = TABLE;  
{1.0}  ?SX = LOCATION;         ?Y = MONKEY2;   ?Z = CHAIR;  
{1.0}  ?SX = P2;       ?Y = IQ;        ?Z = 100;  
{1.0}  ?SX = P2;       ?Y = AGE;       ?Z = 32;  
{1.0}  ?SX = AGE;      ?Y = GIRL3;     ?Z = 12;  
{1.0}  ?SX = NAME;     ?Y = GIRL3;     ?Z = LEE;  
{1.0}  ?SX = AGE;      ?Y = ELEPHANT2;         ?Z = 12;  
{1.0}  ?SX = NAME;     ?Y = ELEPHANT2;         ?Z = JUMBO;  
{1.0}  ?SX = AGE;      ?Y = MAN1;      ?Z = 32;  
{1.0}  ?SX = NAME;     ?Y = MAN1;      ?Z = FRED;  
; No value
SWANK> (?- (val symptom jekyll ?what))
{1.0}  ?WHAT = TEXT;  
; No value
SWANK> (add-fact '(val symptomatic jekyll "quotation") )
T
SWANK> (?- (val symptom jekyll ?what))
{1.0}  ?WHAT = TEXT;  
; No value
SWANK> (?- (val symptomatic jekyll ?what))
{1.0}  ?WHAT = quotation;  
{1.0}  ?WHAT = TEXT;  
{1.0}  ?WHAT = text goes here;  
{1.0}  ?WHAT = text goes here;  
; No value
SWANK> (?- (dom pink-light ?what))
{1.0}  ?WHAT = GNOSTIC;  
{1.0}  ?WHAT = GNOSTICISM;  
; No value
SWANK> (?- (dom ?what double))
{1.0}  ?WHAT = MIRRORING;  
{1.0}  ?WHAT = CRASH;  
{1.0}  ?WHAT = REVELATION;  
{1.0}  ?WHAT = REFLECTION;  
{1.0}  ?WHAT = MESSAGE;  
; No value
SWANK> (?- (dom ?what double))
{1.0}  ?WHAT = MIRRORING;  
{1.0}  ?WHAT = CRASH;  
{1.0}  ?WHAT = REVELATION;  
{1.0}  ?WHAT = REFLECTION;  
{1.0}  ?WHAT = MESSAGE;  
; No value
SWANK> (?- (ind ?x double))
{1.0}  ?X = text goes here;  
{1.0}  ?X = text goes here;  
{1.0}  ?X = text goes here;  
{1.0}  ?X = text goes here;  
{1.0}  ?X = text goes here;  
{1.0}  ?X = TEXT;  
{1.0}  ?X = quotation;  
{1.0}  ?X = text goes here;  
; No value
SWANK> (?- (ind ?x double))
{1.0}  ?X = text goes here;  
; No value
SWANK> (?- (ind ?x jekyll))
{1.0}  ?X = JEKYLL13;  
; No value
SWANK> (?- (ind ?x character))
{1.0}  ?X = JEKYLL;  
; No value
SWANK> (?- (a jekyll (character ?x)))
{1.0}  ?X = FILM;  
{1.0}  ?X = PLAY;  
; No value
SWANK> (a film (double hyde) (cast character))
T
SWANK> (?- (a jekyll (character ?x)))
{1.0}  ?X = FILM;  
{1.0}  ?X = PLAY;  
; No value
SWANK> (?- (a film (?x character)))
{1.0}  ?X = CAST;  
; No value
SWANK> (?- (a jekyll (character ?x)))
{1.0}  ?X = FILM;  
{1.0}  ?X = PLAY;  
; No value
SWANK> (?- (a jekyll (character ?x)))
{1.0}  ?X = FILM;  
{1.0}  ?X = PLAY;  
; No value
SWANK> (?- (a character (name ?x)))
{1.0}  ?X = JEKYLL;  
; No value
SWANK> (?- (a character (name ?x)))
{1.0}  ?X = ALICE;  
{1.0}  ?X = DEQUINCEY;  
{1.0}  ?X = CARROLL;  
{1.0}  ?X = ROBERT_LEES;  
{1.0}  ?X = STEVENSON;  
{1.0}  ?X = JEKYLL;  
; No value
SWANK> (?- (a character (double ?x)))
{1.0}  ?X = BOOK;  
{1.0}  ?X = SINGLE;  
{1.0}  ?X = DODGSON;  
{1.0}  ?X = PSYCHIC;  
{1.0}  ?X = BURNT;  
{1.0}  ?X = HYDE;  
; No value
SWANK> (?- (a character (?y ?x)))
{1.0}  ?Y = ENTRY;     ?X = RABBIT-HOLE;  
{1.0}  ?Y = DOUBLE;    ?X = BOOK;  
{1.0}  ?Y = NAME;      ?X = ALICE;  
{1.0}  ?Y = DOUBLE;    ?X = SINGLE;  
{1.0}  ?Y = NAME;      ?X = DEQUINCEY;  
{1.0}  ?Y = DOUBLE;    ?X = DODGSON;  
{1.0}  ?Y = NAME;      ?X = CARROLL;  
{1.0}  ?Y = DOUBLE;    ?X = PSYCHIC;  
{1.0}  ?Y = NAME;      ?X = ROBERT_LEES;  
{1.0}  ?Y = APPEND;    ?X = the actor
accused. his staged action is too real. he must be the ripper not
only through artifice - he is the image, he looks like the ripper
but also he must be the ripper to engender such passion provoking
such fear, the equation inside;  
{1.0}  ?Y = DOUBLE;    ?X = BURNT;  
{1.0}  ?Y = NAME;      ?X = STEVENSON;  
{1.0}  ?Y = DOUBLE;    ?X = HYDE;  
{1.0}  ?Y = NAME;      ?X = JEKYLL;  
{1.0}  ?Y = SYMPTOMATIC;       ?X = text goes here;  
; No value
SWANK> (?- (a pink-light (?y ?x)))
{1.0}  ?Y = ENTRY;     ?X = RABBIT-HOLE;  
{1.0}  ?Y = DOUBLE;    ?X = BOOK;  
{1.0}  ?Y = NAME;      ?X = ALICE;  
{1.0}  ?Y = DOUBLE;    ?X = SINGLE;  
{1.0}  ?Y = NAME;      ?X = DEQUINCEY;  
{1.0}  ?Y = DOUBLE;    ?X = DODGSON;  
{1.0}  ?Y = NAME;      ?X = CARROLL;  
{1.0}  ?Y = DOUBLE;    ?X = PSYCHIC;  
{1.0}  ?Y = NAME;      ?X = ROBERT_LEES;  
{1.0}  ?Y = APPEND;    ?X = the actor
accused. his staged action is too real. he must be the ripper not
only through artifice - he is the image, he looks like the ripper
but also he must be the ripper to engender such passion provoking
such fear, the equation inside;  
{1.0}  ?Y = DOUBLE;    ?X = BURNT;  
{1.0}  ?Y = NAME;      ?X = STEVENSON;  
{1.0}  ?Y = MESSAGE;   ?X = ALICE;  
{1.0}  ?Y = DOUBLE;    ?X = HIDDEN;  
{1.0}  ?Y = NAME;      ?X = RIPPER;  
{1.0}  ?Y = DOUBLE;    ?X = HYDE;  
{1.0}  ?Y = NAME;      ?X = JEKYLL;  
{1.0}  ?Y = SYMPTOMATIC;       ?X = text goes here;  
; No value
SWANK> (?- (a pink-light (?x ripper)))
{1.0}  ?X = NAME;  
; No value
SWANK> (?- (a pink-light (?x alice)))
{1.0}  ?X = NAME;  
{1.0}  ?X = MESSAGE;  
; No value
SWANK> (?- (a pink-light (?x hyde)))
{1.0}  ?X = DOUBLE;  
; No value
SWANK> (?- (a pink-light (?x jekyll)))
{1.0}  ?X = NAME;  
; No value
; [GC threshold exceeded with 15,805,464 bytes in use.  Commencing GC.]
; [GC completed with 3,926,144 bytes retained and 11,879,320 bytes freed.]
; [GC will next occur when at least 15,926,144 bytes are in use.]
SWANK> (?- (assymmetry ?x))
; No value
SWANK> (?- (?x assymmetry))
; No value
SWANK> (?- (?x assymetry))
; No value
SWANK> (?- (assymetry ?x))
; No value
SWANK> (?- (dom assymetry ?x))
; No value
SWANK> (?- (dom mirroring ?x))
{1.0}  ?X = MIRRORING;  
{1.0}  ?X = REFLECTION;  
{1.0}  ?X = ASSYMETRY;  
{1.0}  ?X = DOUBLING;  
; No value
; [GC threshold exceeded with 15,937,648 bytes in use.  Commencing GC.]
; [GC completed with 3,960,656 bytes retained and 11,976,992 bytes freed.]
; [GC will next occur when at least 15,960,656 bytes are in use.]
SWANK> (?- (dom mirroring ?x))
{1.0}  ?X = MIRRORING;  
{1.0}  ?X = REFLECTION;  
{1.0}  ?X = ASSYMETRY;  
{1.0}  ?X = DOUBLING;  
; No value
SWANK> (?- (dom time ?x))
{1.0}  ?X = WORLD;  
; No value
SWANK> (?- (dom character ?y))
{1.0}  ?Y = EMBEDDING;  
{1.0}  ?Y = DOUBLING;  
{1.0}  ?Y = FILM;  
; No value
SWANK> (?- (when ?P ?Q))
{1.0}  ?P = (VAL REVERSIBILITY ?X ?Y);         ?Q = (WHEN (IND ?X WORLD)
                                                      (NOT
                                                       (VAL BEGINNING ?X ?Y)));  
{1.0}  ?P = (VAL BEGINNING ?X ?Y);     ?Q = (WHEN (IND ?X WORLD)
                                              (NOT (VAL REVERSIBILITY ?X ?Y)));  
{1.0}  ?P = (VAL REVERSIBILITY ?X ?Y);         ?Q = (WHEN (IND ?X WORLD)
                                                      (NOT
                                                       (VAL ASSYMETRY ?X ?Y)));  
{1.0}  ?P = (VAL ASSYMETRY ?X ?Y);     ?Q = (WHEN (IND ?X WORLD)
                                              (NOT (VAL REVERSIBILITY ?X ?Y)));  
{1.0}  ?P = (IND FILM98 MIRRORING);    ?Q = (VAL CHARACTER FILM98 RIPPER);  
{1.0}  b?P = (IND FILM98 MIRRORING);    ?Q = (VAL CHARACTER FILM98 HGWELLS);  
{1.0}  ?P = (VAL CHARACTER ?X ?Y);     ?Q = (WHEN (IND ?X MIRRORING)
                                              (VAL CHARACTER ?X ?Y));  
{1.0}  ?P = (VAL RIGHT ?X ?Y);         ?Q = (WHEN (IND ?X MIRRORING)
                                              (NOT (VAL LEFT ?X ?Y)));  
{1.0}  ?P = (VAL LEFT ?X ?Y);          ?Q = (WHEN (IND ?X MIRRORING)
                                              (NOT (VAL RIGHT ?X ?Y)));  
{1.0}  ?P = (VAL EXTERIOR ?X ?Y);      ?Q = (WHEN (IND ?X MIRRORING)
                                              (NOT (VAL INTERIOR ?X ?Y)));  
{1.0}  ?P = (VAL INTERIOR ?X ?Y);      ?Q = (WHEN (IND ?X MIRRORING)
                                              (NOT (VAL EXTERIOR ?X ?Y)));  
{1.0}  ?P = (VAL SIGN ?X ?Y);          ?Q = (WHEN (IND ?X REVELATION)
                                              (VAL SYSTEM ?X ?Y));  
{1.0}  ?P = (VAL SYSTEM ?X ?Y);        ?Q = (WHEN (IND ?X REVELATION)
                                              (VAL SIGN ?X ?Y));  
; No value
SWANK> (?? (character ripper ?x))
NIL
(VAL ASSYMETRY ?X ?Y)
SWANK> (?- (rel time ?x ?y))
{1.0}  ?X = BEGINNING;         ?Y = END;  
; No value
SWANK> (?- (rel ?y beginning ?x))
{1.0}  ?Y = TIME;      ?X = END;  
; No value
SWANK> (?? (rel ?y beginning ?x))
((REL TIME BEGINNING END))
SWANK> (?? (rel ?y ?z ?x))
((REL EMBEDDED WORLD OBSERVER) (REL EMBEDDED REVELATION OBSERVER)
 (REL EMBEDDED PINK-LIGHT OBSERVER) (REL EMBEDDED GNOSTICISM OBSERVER)
 (REL EMBEDDED CRASH OBSERVER) (REL EMBEDDED SYMPTOM OBSERVER)
 (REL REVELATION CHARACTER SYMPTOM) (REL TRUTH REVELATION CRASH)
 (REL TRUTH SYMPTOM CRASH) (REL TRUTH CRASH CRASH) (REL TRUTH GNOSTICISM CRASH)
 (REL TRUTH PINK-LIGHT CRASH) (REL DOUBLING REVELATION GNOSTICISM)
 (REL DOUBLING SYMPTOM GNOSTICISM) (REL DOUBLING CRASH GNOSTICISM)
 (REL DOUBLING GNOSTICISM GNOSTICISM) (REL DOUBLING PINK-LIGHT GNOSTICISM)
 (REL SPACE PINK-LIGHT EXTERIOR) (REL SPACE CRASH EXTERIOR)
 (REL EMBEDDED TIME OBSERVER) (REL EMBEDDED TIME-TRAVEL OBSERVER)
 (REL TIME BEGINNING END))
SWANK> (?? (rel ?y crash ?x))
((REL EMBEDDED CRASH OBSERVER) (REL TRUTH CRASH CRASH)
 (REL DOUBLING CRASH GNOSTICISM) (REL SPACE CRASH EXTERIOR))
SWANK> (?? (rel embedded crash ?x))
((REL EMBEDDED CRASH OBSERVER))
SWANK> (?- (rel embedded crash ?x))
{1.0}  ?X = OBSERVER;  
; No value
SWANK> (?- (rel embedded symptom ?x))
{1.0}  ?X = OBSERVER;  
; No value
SWANK> (?- (val character ?x ?y))
{1.0}  ?X = FILM106;   ?Y = RIPPER;  
{1.0}  ?X = FILM106;   ?Y = HGWELLS;  
; No value
SWANK> (?- (val character ?z ?y))
{1.0}  ?Z = FILM114;   ?Y = RIPPER;  
{1.0}  ?Z = FILM114;   ?Y = HGWELLS;  
; No value
SWANK> (?- (ind ?p character))
{1.0}  ?P = CHARACTER113;  
{1.0}  ?P = CHARACTER112;  
{1.0}  ?P = CHARACTER111;  
{1.0}  ?P = CHARACTER110;  
{1.0}  ?P = CHARACTER109;  
{1.0}  ?P = CHARACTER108;  
{1.0}  ?P = CHARACTER107;  
; No value
SWANK> (?? (a character (name ?n)))
((AND (IND CHARACTER107 CHARACTER) (VAL NAME CHARACTER107 JEKYLL))
 (AND (IND CHARACTER108 CHARACTER) (VAL NAME CHARACTER108 RIPPER))
 (AND (IND CHARACTER109 CHARACTER) (VAL NAME CHARACTER109 STEVENSON))
 (AND (IND CHARACTER110 CHARACTER) (VAL NAME CHARACTER110 ROBERT_LEES))
 (AND (IND CHARACTER111 CHARACTER) (VAL NAME CHARACTER111 CARROLL))
 (AND (IND CHARACTER112 CHARACTER) (VAL NAME CHARACTER112 DEQUINCEY))
 (AND (IND CHARACTER113 CHARACTER) (VAL NAME CHARACTER113 ALICE)))
SWANK> (?? (a character (device ?n)))
((AND (IND CHARACTER107 CHARACTER) (VAL DEVICE CHARACTER107 DOUBLING))
 (AND (IND CHARACTER112 CHARACTER) (VAL DEVICE CHARACTER112 OPIUM)))
SWANK> (?? (a character (device ?n) (name ?p)))
((AND (IND CHARACTER107 CHARACTER)
      (VAL DEVICE CHARACTER107 DOUBLING)
      (VAL NAME CHARACTER107 JEKYLL))
 (AND (IND CHARACTER112 CHARACTER)
      (VAL DEVICE CHARACTER112 OPIUM)
      (VAL NAME CHARACTER112 DEQUINCEY)))
SWANK> (?? (a character (device ?n) (name jekyll)))
((AND (IND CHARACTER107 CHARACTER)
      (VAL DEVICE CHARACTER107 DOUBLING)
      (VAL NAME CHARACTER107 JEKYLL)))
SWANK> (?- (dom ?x doubling))
{1.0}  ?X = CHARACTER;  
{1.0}  ?X = FILM;  
{1.0}  ?X = REFLECTION;  
{1.0}  ?X = MIRRORING;  
{1.0}  ?X = DOUBLE;  
; No value
SWANK> (?? (a character (name jekyll)))
	   
((AND (IND CHARACTER107 CHARACTER) (VAL NAME CHARACTER107 JEKYLL)))
SWANK> (?? (a character))
((IND CHARACTER107 CHARACTER) (IND CHARACTER108 CHARACTER)
 (IND CHARACTER109 CHARACTER) (IND CHARACTER110 CHARACTER)
 (IND CHARACTER111 CHARACTER) (IND CHARACTER112 CHARACTER)
 (IND CHARACTER113 CHARACTER))
SWANK> (?? (rel space ?who ?what))
((REL SPACE PINK-LIGHT EXTERIOR) (REL SPACE CRASH EXTERIOR))
SWANK> (?? (dom character ?x)))
Warning:  Ignoring unmatched close parenthesis at file position 24.
((DOM CHARACTER FILM) (DOM CHARACTER DOUBLING) (DOM CHARACTER EMBEDDING))
SWANK> (?? (dom character ?x))
((DOM CHARACTER FILM) (DOM CHARACTER DOUBLING) (DOM CHARACTER EMBEDDING))
SWANK> (?? (dom ?x world))
((DOM REVELATION WORLD) (DOM PINK-LIGHT WORLD) (DOM GNOSTICISM WORLD)
 (DOM CRASH WORLD) (DOM SYMPTOM WORLD) (DOM TIME WORLD) (DOM TIME-TRAVEL WORLD))
SWANK> (?? (dom ?x world))
((DOM REVELATION WORLD) (DOM DOUBLING WORLD) (DOM PINK-LIGHT WORLD)
 (DOM GNOSTICISM WORLD) (DOM CRASH WORLD) (DOM SYMPTOM WORLD)
 (DOM DOUBLE WORLD) (DOM MIRRORING WORLD) (DOM REFLECTION WORLD)
 (DOM FILM WORLD) (DOM CHARACTER WORLD) (DOM TIME WORLD)
 (DOM TIME-TRAVEL WORLD))
SWANK> (a world (character jekyll))
T
SWANK> (?- (a world (device ?x)))
{1.0}  ?X = TIME-TRAVEL;  
{1.0}  ?X = DREAM;  
{1.0}  ?X = OPIUM;  
{1.0}  ?X = DOUBLING;  
; No value
SWANK> (?- ( a beginning (title ?x))
	   )
{1.0}  ?X = Notes Towards A Nervous Background;  
; No value
SWANK> (?- ( a beginning (title ?x))
	   )
{1.0}  ?X = Notes Towards A Nervous Background;  
; No value
SWANK> (?- ( a beginning (title ?x))
	   )
{1.0}  ?X = TITLE;  
{1.0}  ?X = Notes Towards A Nervous Background;  
SWANK> (?- ( a world
	      (title ?x))
	   )
{1.0}  ?X = The English Mail Coach;  
{1.0}  ?X = Notes Towards A Nervous Background;  
; No value
; [GC threshold exceeded with 16,869,096 bytes in use.  Commencing GC.]
; [GC completed with 5,074,672 bytes retained and 11,794,424 bytes freed.]
; [GC will next occur when at least 17,074,672 bytes are in use.]
; [GC threshold exceeded with 17,086,488 bytes in use.  Commencing GC.]
; [GC completed with 5,368,976 bytes retained and 11,717,512 bytes freed.]
; [GC will next occur when at least 17,368,976 bytes are in use.]
SWANK> (?- ( a world
	      (begin ?x)))
{1.0}  ?X = TRAJECTORY;  
; No value
SWANK> (?? ( a world
	      (begin ?x)))
((AND (IND END228 WORLD) (VAL BEGIN END228 TRAJECTORY)))
SWANK> (?? ( a world
	      (begin ?x)))
((AND (IND END243 WORLD) (VAL BEGIN END243 TRAJECTORY)))
SWANK> (?- ( a world
	      (begin ?x)))
{1.0}  ?X = TRAJECTORY;  
; No value
SWANK> (?- (a embedding ?x))
{1.0}  ?X = EMBEDDING245;  
{1.0}  ?X = FILM241;  
{1.0}  ?X = CHARACTER240;  
{1.0}  ?X = CHARACTER239;  
{1.0}  ?X = CHARACTER238;  
{1.0}  ?X = CHARACTER237;  
{1.0}  ?X = CHARACTER236;  
{1.0}  ?X = CHARACTER235;  
{1.0}  ?X = CHARACTER234;  
; No value
SWANK> (?? (a character (device ?n) (name jekyll)))
((AND (IND CHARACTER234 CHARACTER)
      (VAL DEVICE CHARACTER234 DOUBLING)
      (VAL NAME CHARACTER234 JEKYLL)))
SWANK> (?? (a space (device ?n) (name jekyll)))
NIL
SWANK> (?? (a location (attribute ?n)))
((AND (IND LOS_ALAMOS LOCATION) (VAL ATTRIBUTE LOS_ALAMOS ALCHEMICAL)))
SWANK> (?- (a location (attribute ?n)))
{1.0}  ?N = ALCHEMICAL;  
; No value
CL-USER> (?- (a location (attribute ?n)))
{1.0}  ?N = ALCHEMICAL;  
; No value
CL-USER> (?- (a location (attribute ?n)))
{1.0}  ?N = ALCHEMICAL;  
; No value
CL-USER> (?- (a world ?x (attribute ?n)))
{1.0}  ?X = LOS_ALAMOS;        ?N = ALCHEMICAL;  
; No value
CL-USER> (?- (a world ?x (character ?n)))
{1.0}  ?X = FILM260;   ?N = RIPPER;  
{1.0}  ?X = FILM260;   ?N = HGWELLS;  
; No value
CL-USER> (?- (a world (character ?n)))
{1.0}  ?N = RIPPER;  
{1.0}  ?N = HGWELLS;  
; No value
CL-USER> (?- (a world (character ?n) (name ?p)))
{1.0}  ?N = RIPPER;    ?P = TIME-AFTER-TIME;  
{1.0}  ?N = HGWELLS;   ?P = TIME-AFTER-TIME;  
; No value
CL-USER> (?- (a character ?n (name ?p)))
{1.0}  ?N = CHARACTER259;      ?P = ALICE;  
{1.0}  ?N = CHARACTER258;      ?P = DEQUINCEY;  
{1.0}  ?N = CHARACTER257;      ?P = CARROLL;  
{1.0}  ?N = CHARACTER256;      ?P = ROBERT_LEES;  
{1.0}  ?N = CHARACTER255;      ?P = STEVENSON;  
{1.0}  ?N = CHARACTER254;      ?P = RIPPER;  
{1.0}  ?N = CHARACTER253;      ?P = JEKYLL;  
; No value
CL-USER> (?- (a world (character ?n) (name ?p)))
{1.0}  ?N = RIPPER;    ?P = TIME-AFTER-TIME;  
{1.0}  ?N = HGWELLS;   ?P = TIME-AFTER-TIME;  
; No value
CL-USER> (?? (rel ?x ?y ?z))
((REL EMBEDDED WORLD OBSERVER) (REL EMBEDDED DOUBLING OBSERVER)
 (REL EMBEDDED REVELATION OBSERVER) (REL EMBEDDED PINK-LIGHT OBSERVER)
 (REL EMBEDDED GNOSTICISM OBSERVER) (REL EMBEDDED CRASH OBSERVER)
 (REL EMBEDDED SYMPTOM OBSERVER) (REL REVELATION CHARACTER SYMPTOM)
 (REL TRUTH REVELATION CRASH) (REL TRUTH SYMPTOM CRASH) (REL TRUTH CRASH CRASH)
 (REL TRUTH GNOSTICISM CRASH) (REL TRUTH PINK-LIGHT CRASH)
 (REL DOUBLING REVELATION GNOSTICISM) (REL DOUBLING SYMPTOM GNOSTICISM)
 (REL DOUBLING CRASH GNOSTICISM) (REL DOUBLING GNOSTICISM GNOSTICISM)
 (REL DOUBLING PINK-LIGHT GNOSTICISM) (REL EMBEDDED DOUBLE OBSERVER)
 (REL EMBEDDED MIRRORING OBSERVER) (REL EMBEDDED REFLECTION OBSERVER)
 (REL SPACE PINK-LIGHT EXTERIOR) (REL SPACE CRASH EXTERIOR)
 (REL EMBEDDED FILM OBSERVER) (REL EMBEDDED CHARACTER OBSERVER)
 (REL EMBEDDED TIME OBSERVER) (REL EMBEDDED TIME-TRAVEL OBSERVER)
 (REL TIME BEGINNING END) (REL TIME BEGINNING DREAM)
 (REL EMBEDDED DREAM OBSERVER) (REL EMBEDDED BEGINNING OBSERVER)
 (REL EMBEDDED END OBSERVER) (REL TITLE BEGINNING TITLE)
 (REL BECOMES BEGINNING EXPANDED) (REL EMBEDDED SPACE OBSERVER)
 (REL EMBEDDED LOCATION OBSERVER))
CL-USER> (?? (a character (name  ?y)))
; [GC threshold exceeded with 19,982,344 bytes in use.  Commencing GC.]
; [GC completed with 8,286,624 bytes retained and 11,695,720 bytes freed.]
; [GC will next occur when at least 20,286,624 bytes are in use.]
((AND (IND CHARACTER253 CHARACTER) (VAL NAME CHARACTER253 JEKYLL))
 (AND (IND CHARACTER254 CHARACTER) (VAL NAME CHARACTER254 RIPPER))
 (AND (IND CHARACTER255 CHARACTER) (VAL NAME CHARACTER255 STEVENSON))
 (AND (IND CHARACTER256 CHARACTER) (VAL NAME CHARACTER256 ROBERT_LEES))
 (AND (IND CHARACTER257 CHARACTER) (VAL NAME CHARACTER257 CARROLL))
 (AND (IND CHARACTER258 CHARACTER) (VAL NAME CHARACTER258 DEQUINCEY))
 (AND (IND CHARACTER259 CHARACTER) (VAL NAME CHARACTER259 ALICE)))
CL-USER> (?? (a character (name  ?y) (device ?z)))
((AND (IND CHARACTER253 CHARACTER)
      (VAL NAME CHARACTER253 JEKYLL)
      (VAL DEVICE CHARACTER253 DOUBLING))
 (AND (IND CHARACTER258 CHARACTER)
      (VAL NAME CHARACTER258 DEQUINCEY)
      (VAL DEVICE CHARACTER258 OPIUM))
 (AND (IND CHARACTER258 CHARACTER)
      (VAL NAME CHARACTER258 DEQUINCEY)
      (VAL DEVICE CHARACTER258 DREAM)))
CL-USER> (?- (a character (name  ?y) (device ?z)))
{1.0}  ?Y = DEQUINCEY;         ?Z = DREAM;  
{1.0}  ?Y = DEQUINCEY;         ?Z = OPIUM;  
{1.0}  ?Y = JEKYLL;    ?Z = DOUBLING;  
; No value
CL-USER> (?- (dom ?z doubling))
{1.0}  ?Z = DREAM;  
{1.0}  ?Z = CHARACTER;  
{1.0}  ?Z = FILM;  
{1.0}  ?Z = REFLECTION;  
{1.0}  ?Z = MIRRORING;  
{1.0}  ?Z = DOUBLE;  
; No value
CL-USER> (?? (dom ?y doubling))
((DOM DOUBLE DOUBLING) (DOM MIRRORING DOUBLING) (DOM REFLECTION DOUBLING)
 (DOM FILM DOUBLING) (DOM CHARACTER DOUBLING) (DOM DREAM DOUBLING))
CL-USER> (?? (dom ?y doubling))
((DOM DOUBLE DOUBLING) (DOM MIRRORING DOUBLING) (DOM REFLECTION DOUBLING)
 (DOM FILM DOUBLING) (DOM CHARACTER DOUBLING) (DOM DREAM DOUBLING))
/root/xxxxx/alice/paper2.lisp

#1

kodiak representation language. 12:37 (tech_notes#79)

from Norvig and based on krep knowledge rep seems to work well

http://www.cs.berkeley.edu/~wilensky/cs288/kodiak-man.ps

http://www.cs.berkeley.edu/~wilensky/cs288/kodiak.lisp

The following table gives an example of each primitive, along with English translations.

(dom dog animal) Dog is a kind of animal. 

(rel birthday animal date) The birthday relation holds between animals and
dates.
Furthermore, every animal has at least one birthday. 

(ind fido dog) The individual Fido is a member of the class of dogs. 

(val birthday fido july-1) The birthday of Fido is July-1. 

(equ suicide killer victim) In a suicide, the killer is the same as the victim. 

(dif above figure ground) In an above relation, the figure and ground are different. 

(when P Q) Whenever P is asserted, assert Q as well. 

(not P ) P is false. 

(and P Q) Both P and Q are true.