Logic programming in Lua?

Question

Is there a way to do logic programming (think of Prolog) in Lua?

In particular: is there any Lua module for logic programming (miniKanren implemenatation will be the best, but it isn't strictly required)? Because I couldn't find any [1]. And if not, are there any known (preferably tried) ways how to do logic programming in Lua?

Also: is there anybody who has tried to do something like logic programming in Lua?

[1] So far I've found only blog post mentioning the possibility of writing one in Metalua, but I would rather see one compatible with the standard Lua.

Isn't all programming logic? You might elaborate a bit for people not familiar with logic programming. I'm sure you can concoct something using metatables. — jpjacobs
– jpjacobs, Commented Feb 18, 2012 at 15:09
Ok, I've added some hints on Logic programming... You know, I can try something like playing with metatables, but at first I wanted to know whether anybody else has tried to do something like this before me... — mnicky
– mnicky, Commented Feb 19, 2012 at 15:01
Second hit on google for 'Lua "logic programming" library' gives you a pdf about multiple paradigm programming in Lua, where section 5 has some references to prolog. While not a complete library (doesn't seem there is one), it might give you some pointers. — jpjacobs
– jpjacobs, Commented Feb 19, 2012 at 18:05
Yes, I've seen that before, but thanks :-). That text gives a few points (though nothing substantial), but it really seems there isn't anything more written about logic programming in Lua world yet..... — mnicky
– mnicky, Commented Feb 23, 2012 at 23:56
You may find this article useful: fawkesrobotics.org/publications/2010/aaai2010spring-golog-lua — Alexander Gladysh
– Alexander Gladysh, Commented May 5, 2012 at 4:24

Anderson Green · Accepted Answer · 2018-02-16 03:04:27Z

1

There is a forward-chaining inference engine in Lua called lua-faces. In addition to MiniKanRen, there are several other logic programming systems in JavaScript that could be automatically translated into Lua using Castl.

I also wrote a translator that converts a subset of Lua into Prolog. Given this input:

function print_each(The_list)
    for _, Item in pairs(The_list) do
        print(Item)
    end
end

it will produce this output in Prolog:

print_each(The_list) :- 
    forall(member(Item,The_list),(

        writeln(Item)
    )).

edited Feb 16, 2018 at 3:04

answered Aug 13, 2016 at 23:20

Anderson Green

32.1k70 gold badges216 silver badges343 bronze badges

Sign up to request clarification or add additional context in comments.

Comments

Oleg V. Volkov · Accepted Answer · 2012-08-28 16:01:26Z

0

Logic programming is a paradigm and thus is just a form of specific syntax where you state some facts and base result on logical equation of those facts, while facts themselves could be results of other equations.

Lua is not specifically designed for this, but you can easily simulate this behavior by defining all logic programming operators as functions - i.e. function and(...) that would return true only if all its arguments true, etc., and making defining your "facts" as a table with lazy evaluation provided by metatable.

answered Aug 28, 2012 at 16:01

Oleg V. Volkov

22.6k4 gold badges49 silver badges68 bronze badges

Comments

JuanPi · Accepted Answer · 2018-11-26 11:21:49Z

0

Would ASP be helpful? https://potassco.org/

Check section 3.1.14 of the manual https://github.com/potassco/guide/releases/download/v2.1.0/guide.pdf

answered Nov 26, 2018 at 11:21

JuanPi

8011 gold badge7 silver badges22 bronze badges

Collectives™ on Stack Overflow

Logic programming in Lua?

3 Answers 3

Comments

Comments

Comments

Your Answer

Linked

Hot Network Questions

Collectives™ on Stack Overflow

3 Answers 3

Comments

Comments

Comments

Your Answer

Sign up or log in

Post as a guest

Linked

Related