Home
Explore
mastodon.social
infosec.exchange
mstdn.social
mstdn.jp
hachyderm.io
piaille.fr
social.vivaldi.net
mastodon.world
troet.cafe
mastodon.uno
mastodon.gamedev.place
techhub.social
social.tchncs.de
mastodon.nl
norden.social
flipboard.social
kolektiva.social
mathstodon.xyz
occm.cc
nrw.social
tech.lgbt
mastodonapp.uk
defcon.social
universeodon.com
mstdn.ca
c.im
masto.es
mastodon.sdf.org
sueden.social
toot.community
sfba.social
tkz.one
mastodon.scot
det.social
mstdn.party
mastodon.ie
ohai.social
ruhr.social
hessen.social
mastodontech.de
pouet.chapril.org
livellosegreto.it
mastodon.nu
mastodon.bida.im
ieji.de
indieweb.social
mastodon.eus
social.linux.pizza
mastodon.au
social.cologne
muenchen.social
ioc.exchange
social.anoxinon.de
mastodon.green
mastodont.cat
fediscience.org
ruby.social
nerdculture.de
metalhead.club
cyberplace.social
uri.life
mindly.social
mastodon.de
masto.nu
mastodon.ml
dresden.network
m.otter.homes
phpc.social
sunny.garden
mastodontti.fi
toot.wales
climatejustice.social
noc.social
fairy.id
furry.engineer
sciences.social
bark.lgbt
mastodon.me.uk
mstdn.plus
glasgow.social
mastodon.com.pl
freiburg.social
bonn.social
hostux.social
blorbo.social
mastorol.es
rheinneckar.social
rollenspiel.social
tooting.ch
c7.io
mementomori.social
rivals.space
hcommons.social
mastodon.gal
discuss.systems
mstdn.games
expressional.social
lgbtqia.space
social.sciences.re
mast.lat
masto.pt
mapstodon.space
wehavecookies.social
mastodon-belgium.be
wien.rocks
snabelen.no
ursal.zone
cupoftea.social
tilde.zone
gaygeek.social
privacysafe.social
sakurajima.moe
retro.pizza
darmstadt.social
woof.tech
shelter.moe
en.osm.town
ludosphere.fr
mastodon.berlin
mast.dragon-fly.club
peoplemaking.games
graz.social
kanoa.de
muenster.im
pawb.fun
qdon.space
bookstodon.com
veganism.social
oslo.town
famichiki.jp
mastodon.uy
musician.social
socel.net
urusai.social
witter.cz
toad.social
union.place
h4.io
mstdn.dk
xarxa.cloud
theblower.au
eupolicy.social
mstdn.business
mustard.blog
tooot.im
musicworld.social
machteburch.social
fandom.ink
burningboard.net
tea.codes
4bear.com
thecanadian.social
toot.kif.rocks
masto.nyc
spore.social
pnw.zone
mastodon.la
opalstack.social
hear-me.social
disabled.social
poliversity.it
mountains.social
graphics.social
libretooth.gr
dizl.de
mastodon.london
ciberlandia.pt
furries.club
archaeo.social
bahn.social
dmv.community
mastodon.pnpde.social
fedi.at
cultur.social
mastodon.energy
gardenstate.social
babka.social
vkl.world
tuiter.rocks
mast.hpc.social
utopia.cool
frikiverse.zone
fulda.social
library.love
is.nota.live
mendeddrum.org
gamepad.club
toot.si
donphan.social
mastodon.africa
muri.network
social.politicaconciencia.org
social.roadfm.fr
puntarella.party
bzh.social
masto.nobigtech.es
tchafia.be
wargamers.social
tyrol.social
norcal.social
burma.social
hispagatos.space
w3c.social
social.silicon.moe
lou.lt
mograph.social
drupal.community
lsbt.me
ani.work
datasci.social
gayfr.social
khiar.net
epsilon.social
mastodon.pirateparty.be
hometech.social
opencoaster.net
toot.funami.tech
socialbc.ca
theatl.social
friendsofdesoto.social
indieauthors.social
esq.social
leipzig.town
toot.garden
mastodon.vlaanderen
lewacki.space
genealysis.social
epicure.social
masto.yttrx.com
mstdn.animexx.de
kurry.social
est.social
toot.re
elekk.xyz
frankfurt.social
pointless.chat
exquisite.social
toki.social
hoosier.social
karlsruhe-social.de
retro-gaiden.com
umbracocommunity.social
mastodon.cr
mastodon.tn
apobangpo.space
colorid.es
fribygda.no
seocommunity.social
mastodon.education
devianze.city
paktodon.asia
toots.nu
mastodon.wien
arvr.social
twoot.site
techtoots.com
poweredbygay.social
katholisch.social
klog.tw
gamerstavern.online
ruhrpott.social
frontrange.co
mastodon.sg
jazztodon.com
raphus.social
h-net.social
nwb.social
okla.social
rheinhessen.social
mastodon.cl
mastodon.pub.solar
mastodon.bot
rail.chat
turtleisland.social
blackqueer.life
bologna.one
stereodon.social
mastodon-swiss.org
birdon.social
camp.smolnet.org
elizur.me
mastodon.cipherbliss.com
cwb.social
mastodon.free-solutions.org
woodworking.group
k8s.social
fpv.social
mastodon.babb.no
biplus.social
planetearth.social
growers.social
fairmove.net
squawk.mytransponder.com
social.diva.exchange
mastodon.iow.social
skastodon.com
mastodon.frl
episcodon.net
lounge.town
mikumikudance.cloud
ailbhean.co-shaoghal.net
mastodon.hosnet.fr
mastodon.bachgau.social
kzoo.to
cville.online
kcmo.social
mcr.wtf
23.illuminati.org
syzito.xyz
connectop.us
mastodon.ee
synapse.cafe
mastodon.bahia.no
social.ferrocarril.net
nfld.me
creators.social
silversword.online
dariox.club
social.avali.zone
mastodon.ph
burnout.cafe
polsci.social
fpl.social
bath.social
mastodon.mg
ms.maritime.social
social.main-angler.de
netsphere.one
newforest.social
psu.social
bvb.social
troet.fediverse.at
mastodon.re
social.sndevs.com
darticulate.com
nutmeg.social
kjas.no
earth.law
ceilidh.online
douzepoints.social
saint-paul.us
devhub.social
learningdisability.social
qaf.men
wxw.moe
Log In
José A. Alonso
Writing Prolog with ChatGPT. ~ John D. Cook.
https://www.
johndcook.com/blog/2026/06/15/
writing-prolog-with-chatgpt/
#Prolog
#LogicProgramming
#ChatGPT
Writing Prolog with ChatGPT
Solving a chess puzzle by having ChatGPT generate Prolog code to enumerate the solutions.
John D. Cook | Applied Mathematics Consulting
0
2
0
José A. Alonso