Opportunity for Prolog Developers – Remote Position

Hi everyone,

I hope this message finds you well. I’m reaching out with a unique opportunity for developers who have expertise in Prolog development and additional skills in Python, C#, C, and/or C++ interfacing. (We currently have code in all 4 of these languages)

Project Overview: For the first 5 months, we are developing a special dialect of Prolog in S-Expressions which uses functions and types, all running from SWI-Prolog. We’ve already completed a prototype that passes 94% of our compliance tests. And at the end of the 5 months, most team members will transition to porting Prolog applications into this new language.

Because not everyone is able to work full time we have 2-4 roles available.
(totalling 100 hours per week)

Role Details:

  • Duration: 5 months, with potential for permanent engagement
  • Location: Fully remote
  • Daily Commitments: Quick zoom meeting
  • Skills Required: Advanced proficiency in Prolog, particularly SWI-Prolog
  • Additionally: Interfacing to OpenCog’s Atomspace, Creating interface to a Unity-based virtual world, possiblly some SWISH devel.
  • Rate: Will disclose privately

For more insights into the language, you can check our open-source repository: metta-wam/tests at main · trueagi-io/metta-wam · GitHub (to see the language that we transpile into prolog code)

If you are interested or know someone who might be, please DM me to discuss further details such as salary and qualifications or email to business@logicmoo.org

Looking forward to potentially working together!

Best regards, Douglas