[POPLmark] Re: Poplmark solution for challenge 3

[Matthew Fairbairn]

Dear all,

I have completed challenge 3 using AlphaProlog. The attached file contains
a parser, pretty-printer, and AlphaProlog formalisation of Fsub. The parser
will taken an Fsub term or type and return the AlphaProlog encoding of that
term or type; alternatively it may be given a typechecking or evaluation
test and will return the query to submit to AlphaProlog. The pretty-printer
will take an AlphaProlog encoding of an Fsub term or type and return that
Fsub term or type.

Despite being a new user of AlphaProlog (and with very limited Prolog
experience), it was all fairly straightforward except for the patterns.
These required more work than the rest put together due to the need to
flatten the variables so they could be bound properly and the bookkeeping
associated with that.

I look forward to any feedback.

Thanks,
Matthew Fairbairn
-------------- next part --------------
A non-text attachment was scrubbed...
Name: poplmark-alpha-prolog-mf266.tar
Type: application/x-tar
Size: 51200 bytes
Desc: poplmark-alpha-prolog-mf266.tar
Url : http://lists.seas.upenn.edu/pipermail/poplmark/attachments/20050504/b4e7d280/poplmark-alpha-prolog-mf266-0001.tar