Hi I'm pretty new to Prolog, and just wanted to give a shout out and see who's on the mailing list.
ta'o(btw) genius idea to offer registering for mailing list just before downloading
ta'onai(returning to main point)
I want to translate lOjban: an artificial human-to-human language; based on predicate logic; which is syntactically and semantically unambiguous into prolog. So it would be possible to create lOjban programs. .a'o(hope) You feel as much .ai(intent) as I do, at being able to think in the programming language you are using.
some preliminary translation I've started on: http://lokiworld.org/repos/jbosam/krasi/syntax.html
I've decided to use Ciao because of it's extendable and modular nature.
example of lOjban string:
mifAnvazocoila.Anglic.la.lOjban.zoi.gy.Hello.gy.
which parses syntactically to become:
mi fAnva zo coi la .Anglic. la .lOjban. zoi .gy. Hello .gy.
which means: I translate the lOjban word coi into English, from lOjban, as the english string "Hello"
which can be translated into prolog as: fAnva(mi,zo(coi),la(Anglic),la(LOjban),zoi(gy,'Hello').
I'd love some help, and if you have any questions feel free to ask and I will answer as best I can.