Just to explain positional arguments are ones where you don't need to specify the field name, as the position maps to a known named field. i.e. Person( name == "mark" ) can be rewritten as Person( "mark"; ). The ; is important so that we know when that everything before it is a positional argument. Otherwise we might assume it was a boolean expression, which is how it could be interpretted after the ;
If I had the following query:
query niceFood( String thing, String location )I could invoke it in the following ways:
Location(thing, location) // Location and Edible are ground facts
Edible(thing)
end
//$food is positional output variable and "kitchen" an input literal
?niceFood($food, "kitchen";)
// both are output variables
?niceFood($food, $place;)
// Named arguments. Argument food is bound to output variable $food.
// Argument place is bound to input literal "kitchen"
?niceFood($food : food, place : "kitchen" )
// Mixed, first argument is positional, second argument is named
?niceFood($food; place : "kitchen" )
The ? symbpol is necessary to tell Drools that is a pull based query. This will also (TBD) allow you to pull against ground fact patterns, instead of always being reactive to their changes. Drools is a reactive engine and data can be pushed (reactive) or pulled (queried). We don't yet support it but eventually we will allow "open" derivation queries, where if you do not include the ?, it will continue to propagate new results as they appear in underlying query results.
A variable is considered an output variable if it has not been previous declared.
So let's look at what Nani' Search looks like in Drools. Nani Search is an example adventure program from "Adventure's in Prolog". Here is a sample of queries and rules from the example. I've added a reactive rule to output what can be seen when Here is updated.
query niceFood( String thing, String location )This gives the output:
Location(thing, location)
Edible(thing)
end
query connect( String x, String y )
Door(x, y;)
or
Door(y, x;)
end
query look(String place, List things, List food, List exits)
things : List() from accumulate( Location(thing, place;) ,
collectList( thing ) )
food : List() from accumulate( ?niceFood(thing, place;) ,
collectList( thing ) )
exits : List() from accumulate( ?connect(place, exit;) ,
collectList( exit ) )
end
rule reactiveLook when
Here( place : location)
?look(place, things, food, exits;)
then
System.out.println( " You are in the " + place );
System.out.println( " You can see " + things );
System.out.println( " You can eat" + food );
System.out.println( " You can go to " + exits );
end
-----Output----
You are in the kitchen
You can see [crackers, broccoli, apple]
You can eat[crackers, apple]
You can go to [[kitchen, dining room], [kitchen, cellar]]
Recursion is an important part of derivation queries and allows for search of trees:
query isContainedIn( String x, String y )
Location(x, y;)
or
( Location(z, y;) and ?isContainedIn(x, z;) )
end
If you insert the following objects, you can determine that the key is located in the envelope, which is located on the desk and the desk is located in the office.
insert( new Location("apple", "kitchen") );
insert( new Location("desk", "office") );
insert( new Location("flashlight", "desk") );
insert( new Location("envelope", "desk") );
insert( new Location("key", "envelope") );
There is still lots more to do. The basics are now in place and usable and we'llpublish missing features in the mailing list soon. Note that this is not opportunistic backward chaining, which is still planned. You can think of opportunistic BC as lazy object creation or field initialisation.

What does the ";" do in for example
ReplyDeletefrom accumulate( ?niceFood(thing, place;), ...)
?
There's a typo..
ReplyDeleteSystem.out.println( " You can eat" + eat );
Should be "+ food", right?
"System.out.println( " You can eat" + eat );" corrected.
ReplyDeleteupdated updating to explain that ; is the separator between positional and named arguments.