"Mary went to Walmart and bought a carton of Breyers ice cream"person(mary).
store(walmart).
brand(breyers).
item(ice_cream).
container(carton).
went_to(mary, walmart).
bought(mary, Item) :-
item(Item),
brand_of(Item, breyers),
container_of(Item, carton).
brand_of(ice_cream, breyers).
container_of(ice_cream, carton).
--
Copyright 2026 Olcott
My 28 year goal has been to make
"true on the basis of meaning expressed in language"
reliably computable for the entire body of knowledge.
The complete structure of this system is now defined.
This required establishing a new foundation
Les messages affichés proviennent d'usenet.