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.