[Agda] Re: ANN: Jekejeke Prolog 0.9.5 (runtime console, google play)

[Jan Burse]

Andreas Abel schrieb:
> Thanks, Jan.
>
> But I do not see the connection to Agda.  Could you enlighten us?
>
> Cheers,
> Andreas

I noticed via the following slides that in the vincinity of
logical framework sometimes research on forward chaining is done:
http://x10.sourceforge.net/documentation/papers/X10Workshop2011/elton_slides.pdf

The Jekejeke Minlog is my take of a forward chaining component,
with demonstrated applications in chart parsing and CLP(FD)(*)(**):
http://www.jekejeke.ch/idatab/doclet/prod/en/docs/15_min/02_reference/06_theory/01_forward/01_text.html

Please feel free to give a try.

(*)
Need still to write a roll your own CLP(*) tutorial section.

(**)
The forward chaining component has a nice Minimal logic reading,
but this has not yet been described exessively, there are only
some slides from TaCoS 2012.