FLENG, a concurrent logic programming language

http://www.call-with-current-continuation.org/fleng/fleng.html

by todsacerdoti • 5 years ago

68 6 5 years ago

transfire• 5 years ago

I like the underlying design ideas. At first blush however the language itself seems like a more limited subset of Prolog?

viewfromafar• 5 years ago

Prolog was the first kind of logic programming that existed. It opened the door to a world but as a language and depending on the domain, it can be considered to have numerous deficiencies.

Constraints liberate. A datalog program for example can be considered a very restricted prolog program, but it is guaranteed to terminate and there are alternative evaluation strategies that can be very efficient.

alfiedotwtf• 5 years ago

All goals of a clause are executed in parallel, in an arbitrary order.

That's way cool, but how would backtracking work then, especially if multiple goals in a clause end up failing?

Avshalom• 5 years ago

You don't back track, you just try everything from scratch

yellowapple• 5 years ago

Looks like it's from the same guy as CHICKEN Scheme. Looks pretty neat; coming from Erlang, it's cool to see another concurrency-focused Prolog descendant.

johnisgood• 5 years ago

Yeah, when I read "concurrent logic programming language", I immediately thought of Prolog -> Erlang.

FLENG, a concurrent logic programming language

Related Stories