I've got it to be able to place items, and it could even place in inserters next to factories - I was trying to get it to use constraints solver in prolog.

https://github.com/lawless-m/FacRepl

It did make a REPL, in order for it to place objects within the game using a DSL.

I kind of gave up on the Constraints Based bit, and never returned.