Prolog interpreter in Go

#1

Post by Immortalin » Fri, Mar 27, 2015, 12:41 AM UTC

Prolog interpreter in Go
github.com

Re: Prolog interpreter in Go

#2

Post by BenDoan » Fri, Mar 27, 2015, 1:47 AM UTC

The golog author has a great presentation on using prolog in production.[1]

[1] https://www.youtube.com/watch?v=G_eYTctGZw8

Re: Prolog interpreter in Go

#3

Post by andrewchambers » Fri, Mar 27, 2015, 2:23 AM UTC

I would love to use this for compiler analysis, I need to research how this can be used with tools/ssa to do whole program logic queries.

Re: Prolog interpreter in Go

#4

Post by andrewchambers » Fri, Mar 27, 2015, 2:36 AM UTC

BenDoan wrote: post #2

The golog author has a great presentation on using prolog in production.[1] [1] https://www.youtube.com/watch?v=G_eYTctGZw8

Thanks for the video, really cool.

Re: Prolog interpreter in Go

#5

Post by chm » Fri, Mar 27, 2015, 2:46 AM UTC

The title of the repo is spells "interpreter" correctly, so this submission's title should be fixed.

Re: Prolog interpreter in Go

#6

Post by cespare » Fri, Mar 27, 2015, 3:01 AM UTC

chm wrote: post #5

The title of the repo is spells "interpreter" correctly, so this submission's title should be fixed.

Similarly it spells "Go" correctly :)

Re: Prolog interpreter in Go

#7

Post by AYBABTME » Fri, Mar 27, 2015, 3:27 AM UTC

Wow, just last week I was thinking how useful having embedded prolog in Go would have been, for a very particular problems that maps very well in Prolog. I'm super excited by this!

Re: Prolog interpreter in Go

#8

Post by fspeech » Fri, Mar 27, 2015, 3:49 AM UTC

andrewchambers wrote: post #3

I would love to use this for compiler analysis, I need to research how this can be used with tools/ssa to do whole program logic queries.

Prolog interpreter is unlikely to be able to meet your performance needs although it would be a great ui. Search datalog and bdd and you should be able to find some good research and tools using bdd to support source code analysis related queries.

Re: Prolog interpreter in Go

#9

Post by smoody » Fri, Mar 27, 2015, 4:36 AM UTC

AYBABTME wrote: post #7

Wow, just last week I was thinking how useful having embedded prolog in Go would have been, for a very particular problems that maps very well in Prolog. I'm super excited by this!

Ditto here. Also excited.

Re: Prolog interpreter in Go

#10

Post by andrewchambers » Fri, Mar 27, 2015, 5:07 AM UTC

fspeech wrote: post #8

andrewchambers wrote: post #3

I would love to use this for compiler analysis, I need to research how this can be used with tools/ssa to do whole program logic queries.

Prolog interpreter is unlikely to be able to meet your performance needs although it would be a great ui. Search datalog and bdd and you should be able to find some good research and tools using bdd to support source code analysis related queries.

I thought about using datomic for this before. I've seen a Java based bdd data log tool for pointer analysis. Though it was hard to play with Iirc. I think it would be slow but good for prototypes.