×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [structure unification]
Home >
structure unification
Rules Statements about objects and their relationships Expess ◦ If-then conditions I use an umbrella if there is a rain use(i, umbrella) :- occur(rain).
215 views