🚀 go-pugleaf

>I understand that Prolog is only an approximation of the
>lofty aims of logic programming. However, judging from most
>of the Prolog textbooks on the market, one would think that
>Prolog "is" Logic Programming. How many competitors does
>Prolog have ? Does anyone have a list of all the "logic programming"
I would add to the LL list the series of languages developed by
Bharat Jayaraman @ UNC/Chapel Hill and SUNY/Buffalo:
Sel, Srl and SuRE.

Giancarlo


PS If you want a reference, you can try with:

@TECHREPORT{jaya:90,
        author = ``Jayaraman, B.'',
        title = ``Towards a {B}roader {B}asis for {L}ogic {P}rogramming'',
        institution = ``{CS} {D}ept., {SUNY} at {B}uffalo'',
        year = 1990,
}