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.
--
ta'o(by the way)  We With You Network at: http://lokiworld.org .i(and)
more on Lojban: http://lojban.org
mu'oimi'e.lOkadin (Over, my name is lOkadin)