Channels
random-encounters
in-germany
bot-dark-forest
of-ai
in-sf
in-london
in-ontario
in-seattle
in-socal
in-alberta
of-functional-programming
reading-together
wormholes
of-end-user-programming
in-israel
of-music
present-company
of-logic-programming
share-your-work
devlog-together
introduce-yourself
thinking-together
in-boston
in-nyc
of-graphics
announcements
administrivia
two-minute-week
linking-together
Powered by
#thinking-together
Title
t
Tony Worm
09/07/2022, 11:50 PM
I'm working on generating code from a series of prompts posed to a developer like this:
https://twitter.com/verdverm/status/1566252517062807552
Is this the kind of thing you mean in your first question?
j
Jason Morris
09/08/2022, 5:25 AM
No, I mean answer set programming in the sense of stable-model semantics logic programming.
t
Tony Worm
09/08/2022, 4:22 PM
Is that something from languages like Prolog?
j
Jason Morris
09/08/2022, 8:10 PM
Yeah, it is a subtype of logic programming, I would say.
2 Views
Post