Creating a BPSS implementation framework in Prolog

["David RR Webber" <david@drrw.info>]

Team,

 

Having realized that there is a direct mapping

between BPSS and Prolog - [eg - declarative,

deterministic Horn clauses - single entry / exit,

cut / fail, and entry / succeed conditions,

etc.]

 

The next thought is - great - I can design a

BPSS - generate it - and then map that

exactly into Prolog predicates, assertions

and clauses - given just one simple thing -

a Prolog library of predicates that supports

BPSS constructs.

 

So this looks like this -

 

 BPSS model

         |

        V

 XML instance

         |

        V

Prolog instance

        |

       V

 Prolog engine + BPSS predicate library

       |

      V

Implementation Middleware layer API.

       |

      V

Transport Layer.

 

Using one of the open Prolog systems, such as

SWI-Prolog, this looks like a highly doable

as a summer project....

 

Once this is up and running - having Prolog

in the mix adds potential for some way

cool extensions down the road too.

 

DW