<story><title>Logic Production Systems: A new mixed logic/imperative programming language</title><url>http://lambda-the-ultimate.org/node/5419</url></story><parent_chain></parent_chain><comment><author>notthemessiah</author><text>I recall trying a few mods that made Kerbal Space Program programmable so you can automate your rocket (Some have used it to make SpaceX-style reusable boosters: &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;www.youtube.com&amp;#x2F;watch?v=sqqQy8cIVFY&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;www.youtube.com&amp;#x2F;watch?v=sqqQy8cIVFY&lt;/a&gt;), and mods that provided a domain-specific language were more convenient than mods that used an existing conventional programming language. However the kOS language was still ultimately an imperative script, and too inflexible to be a complete programming language. It got me thinking about what kind of language would best be suited for the purpose of controllers (I was also writing PID controllers at the time), and I noticed there wasn&amp;#x27;t a language for it.&lt;p&gt;I also recall a Minecraft mod called ComputerCraft where you program a &amp;quot;Turtle&amp;quot; (a la Logo) to perform automated digging actions, but the task of programming it in the easily-embedded Lua proved somewhat inconvenient for simple actions, if only for the ALGOL-style syntax. Another mod tried Forth, but get the sense that while one could be productive in Forth, it&amp;#x27;s a lot to learn.&lt;p&gt;The developers have already incorporated it in a proof of concept game: &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;bobthesimplebot.github.io&amp;#x2F;&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;bobthesimplebot.github.io&amp;#x2F;&lt;/a&gt;, but I could imagine RTS style games or mods where you not only have to scavenge for resources, you also program your bots to do your bidding, like Dwarf Fortress with programmable drones instead of independently-minded Dwarves.</text></comment>
<story><title>Logic Production Systems: A new mixed logic/imperative programming language</title><url>http://lambda-the-ultimate.org/node/5419</url></story><parent_chain></parent_chain><comment><author>nickpsecurity</author><text>Justification from author:&lt;p&gt;&lt;a href=&quot;http:&amp;#x2F;&amp;#x2F;blog.ruleml.org&amp;#x2F;post&amp;#x2F;32629706-the-sad-state-concerning-the-relationships-between-logic-rules-and-logic-programming&quot; rel=&quot;nofollow&quot;&gt;http:&amp;#x2F;&amp;#x2F;blog.ruleml.org&amp;#x2F;post&amp;#x2F;32629706-the-sad-state-concernin...&lt;/a&gt;</text></comment>