Channels
administrivia
announcements
bot-dark-forest
devlog-together
in-alberta
in-boston
in-germany
in-israel
in-london
in-nyc
in-ontario
in-seattle
in-sf
in-socal
introduce-yourself
linking-together
of-ai
of-end-user-programming
of-functional-programming
of-graphics
of-logic-programming
of-music
present-company
random-encounters
reading-together
share-your-work
thinking-together
two-minute-week
wormholes
Powered by
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
#thinking-together
Join Slack