OOjDREW/OOjDREW — pull request #14 by Schabernack (2012-11-03 20:03:35+00:00)
Title: added automatic type inference

Instead of:
```
child(?person) :- hasAge(?person, ?age), lessThanOrEqual(?age, 18^^Integer).
hasAge(baby, 5^^Integer).
```

it would be easier if you could just write:

```
child(?person) :- hasAge(?person, ?age), lessThanOrEqual(?age, 18).
hasAge(baby, 5).
```

Supported data types are integer, real and string.