Login

Recent searches

No recent searches

Search options

Not available on mastodon.xyz.
mastodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance, open to everyone, but mainly English and French speaking.

Administered by:

Server stats:

736
active users

mastodon.xyz: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.4

#prolog

2 posts1 participant0 posts today
Continued thread
Public
Adam Onza

This is the #Esperanto #C program, translated into #Python, then into #Prolog, with little effort to clean up the mess of translation, but as I said, no apparent attribution.

The file name reflects this. "analizilo3c_py00.pl". That is probably:
pl for Prolog. version 00
_py for Python (Probably 2)
I guess it is based on "analizilo3.c".
Last edit was December 20th, 2009. The Python and original are probably much older.

gist.github.com/AdamOnza/75599

GitHub Gist: instantly share code, notes, and snippets.
Gistanalizilo3c_py00.plGitHub Gist: instantly share code, notes, and snippets.
Continued thread
Public
Adam Onza

I do have the source code, of a #Prolog translation, of a #Python translation, of the original #C. It has the original C file names, but it doesn't seem to have the attribution. (I am usually careful to include that, but apparently, mistakes were made...)

I suppose I could translate it _back_ into C. xD But I really want to give credit where credit is due.

Public *
Matt

I was excited to see a 40 year old Byte magazine featuring, among other declarative languages, Prolog. I learned Prolog for a quarter semester in one of my CS major’s intro classes…20 years ago.

hachyderm.io/@thomasfuchs/1149

A couple years ago, I looked around for a Prolog interpreter that would run on my mac, but didn’t find one. Funny how exuberant and optimistic this article was about the longevity of the language and the “logic programming” concept.

Hachyderm.ioThomas 🔭🕹️ (@thomasfuchs@hachyderm.io)@raymondcamden@mastodon.social Lots of them are readable online at archive.org, this BYTE issue is here: https://archive.org/details/byte-magazine-1985-08/mode/2up?view=theater
#prolog#logicprogramming
Continued thread
Public *
thezerobit

If you feel any #ImposterSyndrome as a programmer about calling yourself an "engineer", just start writing your backend server software in #Erlang. Yes, you'll have to learn #Prolog syntax. Yes, you'll have to learn how to do fully functional programming with only immutable data structures. Yes, it is fully asynchronous and designed for reliability and fault tolerance. Yes, it is highly dynamic and can do things like update running software remotely with new code with zero downtime.

Public *
Dimly Lit Corners

#Goals2025

Moving away from the constant upgrade cycle & moving closer to the ideals of #PermaComputing #MalleableSoftware

Design and setup a redundant system of old/used, cheap, low-power devices running ia: #Guix, #Linux, #FreeBSD, #macOS, #HaikuOS, #Plan9Front, #X11, #P9, #NFS, all working together

Become an expert on #MicroControllers #ESP32 #STM32 #RP2040 #MIPS #RiscV

DIY sensors which sing like birds to communicate their status

DIY robots "drones"

Move as much as possible of my computing needs to the #Terminal, #Emacs, #Rio #CLI #TUI #P9

Get an #3DPrinter and learn to use it

Design and build my own portable 8dot #braille terminal & try out if 3x3 or 3x4 dots is also workable.

Design and build my own low-power computers, their OS, and tools

Writing more of my own tools #DIY

#SmallTalk #ObjectPascal #Prolog #Scheme #Racket #CommonLisp #Haskell #Rust #Go #ObjectiveC #Swift

Deploy #LoRa #ReticullumNetwork #RNodes #MeshCore #Meshtastic

Start an #InternetResiliencyClub

Add #Tor, #I2P support by #WebProxy

#SolarPowered #SelfHost over #I2P, #OnionService #Blog #Wiki #Repositories #GopherHole #Darcs #Mercurial

#SelfHost my own #EmailServer, which will only accept email from #KnownServers #CommunityEmail #MutualEmailAcceptance

Share files via #BitTorrent over #I2P

DIY #HomeAutomation
DIY #GardeningAutomation
DIY #GreenHouse

Get a house cat, train the cat, use voice and gestures

Start asking money for advice & technology support

Build/program my own opportunistic and strange cryptocurrency miners #BTC, #XMR, #ZEC, etc #Art

#MakeMoreArt #LearnToDraw #Learn3DModeling #LearnGenerativeArt #LearnToComposeAmbientMusic

#ReCreateJottit #ReCreateInstikiWiki

#WriteMore #PublishMore #Letters, #Essays, #Missives, #Reports, #Treatise

…

#Incomplete#Ongoing#NotFinal
ExploreLive feeds
About