Let's say I wanted to allow people to send queries to a prolog
database over http. This would obviously be a massive security hole.
However, if their query/program was limited to a fixed set of
predicates (no I/O), and there was a clever way to check the second
argument of bagof/3 then could this be made safe?
The safest way would be through a meta-circular interpreter; a more
efficient but perhaps more difficult way would be through static
analysis (HiLog would be banned, making this easier)
Are there any implementations out there?
Cheers
Chris
------------
For further info, please visit
http://www.swi-prolog.org/To unsubscribe, send a plaintext mail with "unsubscribe prolog <e-mail>"
in its body to
majordomo@...
