search

timothyhinrichs / clicl

Automatically exported from code.google.com/p/clicl
Other
0 stars 0 forks source link

Weblog: Datalog syntax #4

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
Weblog updates are assumed to be datalog (i.e. in rule form and safe).  Need to 
have the language enforce this.

Original issue reported on code.google.com by thinr...@gmail.com on 20 Sep 2012 at 6:36

GoogleCodeExporter commented 9 years ago 
Actually, since different builtins require bindings for different variables, we 
also need to adjust the datalog make-safe procedures to ensure that only the 
proper bindings are required.  (There may already be code to do this, but if 
not it needs to be written.)

Original comment by thinr...@gmail.com on 20 Sep 2012 at 6:54