#Prolog Programming
Explore tagged Tumblr posts
Text
What Is Prolog Programming for Artificial Intelligence? | AI Guts
In the rapidly growing world of smart technologies, Prolog Programming for Artificial Intelligence plays a crucial role in creating systems that can think, reason, and make decisions like humans. Prolog, a logic programming language, is especially valuable in AI for developing expert systems, natural language processing engines, and problem-solving algorithms.
Unlike procedural languages, Prolog uses a declarative approach, where you define relationships, rules, and facts, and the engine uses logical inference to arrive at conclusions. This makes it highly effective for symbolic reasoning and AI-based decision-making models.
At the core of many intelligent systems, Prolog Programming for Artificial Intelligence provides the foundational structure for building knowledge bases, rule engines, and even AI chatbots. It is widely taught in AI education and used in advanced research for cognitive computing and machine reasoning.
Why Focus on Prolog in AI?
It supports rule-based logic and backtracking
Ideal for AI models that rely on logical deduction
Frequently used in university-level AI courses
Powers advanced AI reasoning systems and intelligent agents
0 notes
Text
What is Prolog Programming Language: An Overview | USAII®
Prolog programming language distinguishes itself from other programming languages because of several distinguished features. Explore what prolog is, its applications, advantages, and limitations.
Read more: https://bit.ly/3VBlfvs
AI applications, AI Programming, Prolog Programming Language, AI Programming Language, AI professionals, AI Experts, prolog programming for artificial intelligence, AI tools, AI Career
0 notes
Text

Growing up, you've always been known as a people pleaser. Ever the altruist, you take joy in helping others, even if it's at your own expense. So when you decided to pursue a degree in nursing after high school the people in your life were less than surprised. As you enter your second year of schooling, you decide to enroll in a program to assist those affected by the earthquakes in Hawkin's that happened back in the spring. But, when you volunteered to take on a case of someone who had been turned down by everyone else, you had no idea that you were signing up for your life to change forever.
content warnings: canon divergent, eddie lives, grumpy!eddie disabled!eddie, nurse!reader, medical talks, violence and all that comes with it, major character death, suicidal ideation and all that comes with it, eventual smut. each chapter will have its own warnings.
the playlist
*chapters contain smut and/or heavy topics. Please read each chapter’s warnings as you go.
chapter list:
i. did you get what you deserve?
ii. gotta promise not to stop when i say "when"
iii. the smoke and who's still standing when it clears
iv. someone like you and all you know and how you speak
v. i want to hold the hand inside you*
vi. for you, there'll be no more crying*
vii. and you'll begin to wonder why you came*
viii. like real people do*
prologs:
- maybe together we can get somewhere
-no one can hurt you now
misc:
moodboard
#eddie munson#eddie munson masterlist#eddie munson series masterlist#eddie munson x reader#make me better#mmb!eddie
1K notes
·
View notes
Text
Headcannon:
So this is specifically based on shows/games/comics where Dick is shown to be technically unsavvy, which is not compatible with the frequent depictions of him being a tech wiz
As such, I propose this:
Dick is really really good with obscure technology and coding languages, almost exclusively.
The reason could be that he wanted to round out Batman (who knows all the more prevelamt stuff), or that he originates from the 80s, but personally I find this absolutely hilarious.
Like,
Tim: There’s nothing we can do, I’ve never even seen this kind of code before?
Dick: oh that’s Prolog, just gimme a second *shuts down the program with ease”
Tim: its fucking *what*
Babs: you know that and not python?
Dick: learning coding languages is time consuming :(
Other languages he could be good at include: Fortran, forth, MUMPS/Cache, Rebol, Perl, Brainfuck (or any esoteric coding language), Malbolge, APL etc etc.
Especially niche use case languages like MUMPS or purposefully difficult to use like Malbolge or Brainfuck have the potential for divine comedy
Additionally he should be good with older technology
Not just like, stuff used more in the 80s but shit like, can use a manual mass spectrometer. Stuff that’s been automated for awhile that no one can do manually cause it’s super hands on and complicated
49 notes
·
View notes
Note
i'm curious about something with your conlang and setting during the computing era in Ebhorata, is Swädir's writing system used in computers (and did it have to be simplified any for early computers)? is there a standard code table like how we have ascii (and, later, unicode)? did this affect early computers word sizes? or the size of the standard information quanta used in most data systems? ("byte" irl, though some systems quantize it more coarsely (512B block sizes were common))
also, what's Zesiyr like? is it akin to fortran or c or cobol, or similar to smalltalk, or more like prolog, forth, or perhaps lisp? (or is it a modern language in setting so should be compared to things like rust or python or javascript et al?) also also have you considered making it an esolang? (in the "unique" sense, not necessarily the "difficult to program in" sense)
nemmyltok :3
also small pun that only works if it's tɔk or tɑk, not toʊk: "now we're nemmyltalking"
so...i haven't worked much on my worldbuilding lately, and since i changed a lot of stuff with the languages and world itself, the writing systems i have are kinda outdated. I worked a lot more on the ancestor of swædir, ntsuqatir, and i haven't worked much on its daughter languages, which need some serious redesign.
Anyway. Computers are about 100 years old, give or take, on the timeline where my cat and fox live. Here, computers were born out of the need for long-distance communication and desire for international cooperation in a sparsely populated world, where the largest cities don't have much more than 10,000 inhabitants, are set quite far apart from each other with some small villages and nomadic and semi-nomadic peoples inbetween them. Computers were born out of telegraph and radio technology, with the goal of transmitting and receiving text in a faster, error-free way, which could be automatically stored and read later, so receiving stations didn't need 24/7 operators. So, unlike our math/war/business machines, multi-language text support was built in from the start, while math was a later addition.
At the time of the earliest computers, there was a swædir alphabet which descended from the earlier ntsuqatir featural alphabet:
the phonology here is pretty outdated, but the letters are the same, and it'd be easy to encode this. Meanwhile, the up-to-date version of the ntsuqatir featural alphabet looks like this:
it works like korean, and composing characters that combine the multiple components is so straightforward i made a program in shell script to typeset text in this system so i could write longer text without drawing or copying and pasting every character. At the time computers were invented, this was used mostly for ceremonial purposes, though, so i'm not sure if they saw any use in adding it to computers early on.
The most common writing system was from the draconian language, which is a cursive abjad with initial, medial, final and isolated letter shapes, like arabic:
Since dragons are a way older species and they really like record-keeping, some sort of phonetic writing system should exist based on their language, which already has a lot of phonemes, to record unwritten languages and describe languages of other peoples.
There are also languages on the north that use closely related alphabets:
...and then other languages which use/used logographic and pictographic writing systems.
So, since computers are not a colonial invention, and instead were created in a cooperative way by various nations, they must take all of the diversity of the world's languages into account. I haven't thought about it that much, but something like unicode should have been there from the start. Maybe the text starts with some kind of heading which informs the computer which language is encoded, and from there the appropriate writing system is chosen for that block of text. This would also make it easy to encode multi-lingual text. I also haven't thought about anything like word size, but since these systems are based on serial communication like telegraph, i guess word sizes should be flexible, and the CPU-RAM bus width doesn't matter much...? I'm not even sure if information is represented in binary numbers or something else, like the balanced ternary of the Setun computer
As you can see, i have been way more interested in the anthropology and linguistics bits of it than the technological aspects. At least i can tell that printing is probably done with pen plotters and matrix printers to be able to handle the multiple writing systems with various types of characters and writing directions. I'm not sure how input is done, but i guess some kind of keyboard works mostly fine. More complex writing systems could use something like stroke composition or phonetic transliteration, and then the text would be displayed in a screen before being recorded/sent.
Also the idea of ndzəntsi(a)r/zesiyr is based on C. At the time, the phonology i was using for ntsuqatir didn't have a /s/ phoneme, and so i picked one of the closest phonemes, /ⁿdz/, which evolves to /z/ in swædir, which gave the [ⁿdzə] or [ze] programming language its name. Coming up with a word for fox, based on the character's similarity was an afterthought. It was mostly created as a prop i could use in art to make the world feel like having an identity of its own, than a serious attempt at having a programming language. Making an esolang out of it would be going way out of the way since i found im not that interested in the technical aspects for their own sake, and having computers was a purely aesthetics thing that i repurposed into a more serious cultural artifact like mail, something that would make sense in storytelling and worldbuilding.
Now that it exists as a concept, though, i imagine it being used in academic and industrial setting, mostly confined to the nation where it was created. Also i don't think they have the needs or computing power for things like the more recent programming languages - in-world computers haven't changed much since their inception, and aren't likely to. No species or culture there has a very competitive or expansionist mindset, there isn't a scarcity of resources since the world is large and sparsely populated, and there isn't some driving force like capitalism creating an artificial demand such as moore's law. They are very creative, however, and computers and telecommunications were the ways they found to overcome the large distances between main cities, so they can better help each other in times of need.
#answered#ask#conlang i guess??#thank you for wanting to read me yapping about language and worldbuilding#also sorry if this is a bit disappointing to read - i don't have a very positivist/romantic outlook on computing technology anymore#but i tried to still make something nice out of it by shaping their relationship with technology to be different than ours#since i dedicated so much time to that aspect of the worldbuilding early on
13 notes
·
View notes
Text
This is all you ever need (and system F)
Everything else was an overreach

11 notes
·
View notes
Photo

1:09 AM EDT September 23, 2024:
Voivod - "Technocratic Manipulators" From the album Dimension Hatröss (June 29, 1988)
Last song scrobbled from iTunes at Last.fm
'Inside a giant particle accelerator , a beam of protons, traveling at near the speed of light meets a beam of antiprotons moving equally as fast in the opposite direction. The protons and mirror-image antiprotons annihilate each other, creating the fiery chaos of a parallel micro-galaxy. Experiment One complete, the Voïvod goes into that new dimension, meeting different civilizations and psychic entities, extracting knowledge and energy in the eight programs of this project called: Dimension Hatröss'
Prolog.
File under: Cybermetal
26 notes
·
View notes
Text
Is there a logic programming language like e.g. prolog with a syntax that won't make me mcfucking kill myself?
asking for a sudoku
56 notes
·
View notes
Text
Spin in the City, a prolog.
Summary: What happens when the Queen of PR meets the (former) King of Spin?
a/n: I live for me and my brain only. Welcome to it. Yay. Idk. Multipart series. Yay.
Samantha Jones never found herself afraid of rebranding. Of course not. She’d done it at least a few dozen times over the years, companies and celebrities constantly needed a good reworking. Times and tastes changed constantly. To think you couldn’t update your looks and manifestos and statements? Insane.
Although, never for herself.
Alas, here she stood in her new flat in Mayfair, her mother’s home neighborhood, sixty-fucking-three, and fabulous.
And utterly alone.
Carrie shafted her and the rest of her so-called friends followed suit. Even sweet Charlotte had no chance but to fall in line. No amount of calls from Rock begging her on how to come out or apologetic emails from Charlotte could mend the wounds in her heart.
Decades, damn near most of her life, was spent being loyal and holding these women’s best interests against her better judgment. And this is how they all betrayed her? She was their “yes” man and constantly their shoulder to cry on and place to fall after they’d mangled themselves up over another man or some other poor choice.
She thanked whatever deity was out there that an old friend from her master’s program at the University of Westminster reaching out for a nostalgia-fueled chat on Instagram. After a few months, they decided to merge their firms and she would relocate to London.
Her heart felt as cavernous and echoing as the space she had to call her home now.
Well, fuck them!
She had to restart. Rebrand. A new Samantha Jones in the old world…
****
She knew spin better than anyone. Or she thought she did. She also didn’t know if this was some joke.
She’d posted the advertisement for a press secretary only an hour ago.
The email from the recruitment service let off a ping in her inbox.
Some man named Malcolm Tucker was simply falling over that a an opportunity. Why did that name sound hauntingly familiar?
Famous even…
She googled.
Instant regret, yet instant curiosity.
Why would a man branded by every news organization as violent and heinous to the point of jail time for his practices of leaking and corruption be so eagerly awaiting a simple press secretary job? Especially someone at his age?
She looked over his CV. Such a jolt from journalist to low-ranking civil servant to the Director of Communications for the entire fucking British government….
The address was a cute little cottage near the waters in rural Scotland.
What was his plan? And why was she suddenly very keen to hear them? Or at least see him with her own to eyes…
Was the Chief Medical Officer of Spin doing some scheme?
What was he spinning?
She had to have him in her office as soon as possible.
It was sexy, if she thought about it. Someone as high-ranking once as he, scrounging around for the first little job in his field. Disgraced and having to start as far as he was willing to go in dignity to restart. Very sexy. No one, no allies in government, especially these days, no use to use anyone in the journalism world either. All he had left was to crawl into corporate PR and hope for some power to come to him once more.
And here he was, practically on bended knee lapping up the chance to contact to her.
Poor little man.
She almost felt pity for him as she scrolled through the Wikipedia page for the Goolding Inquiry and the subsequent trial of one Mr. Tucker.
She clicked the link to his meager Wikipedia page. It seemed he was a punk rocker in his teens too. The band had only one other famous (or infamous in Malcolm’s case…) was that one late-night talk show host. She’d sent a few clients she represented onto his show a few times in the past. Smith even went on twice!
One sentence caught her eye, ‘after his release, Tucker slipped out of the public eye and his whereabouts remain unknown.’
Unknown until now.
Perhaps, he was just spinning out of control…
Sufficiently intrigued, she arranged the interview.
#personal#i wrote this#ttoi#satc#malcolm tucker#samantha jones#samantha jones x malcolm tucker#malcolm tucker x samantha jones#kim cattrall#peter capaldi#cross over#yipeee#idk man#i just write
8 notes
·
View notes
Note
Hi
Just read your fic. Took a while for me to crawl on AO3 because it's banned in my country, but i found a way.
So, i really liked it! I was surprised that Brainstorm didn't know about the empurata program, but now I'm suuuure that he will do the research >:)
Also, does he know about who Perceptor is? I'm talking about maybe Brainstorm has read some of his scientific studies and just didn't recognize him because..well...it's strange to add photo of empurated victim, doesn't it? I think it does, so Brainstorm fairly couldn't know about Perceptor's appearance.
Also, i think that in first few days Perceptor couldn't walk for shit because of the zoom of the microscope. Constantly bumping into things or stumbling over something because he just didn't noticed it he was a disaster but he got it
And how did Redalert treated Perceptor uhhhhhh it was so good he behaved like scientist was made out of glass idk. Perceptor can stood up for himself but he is still really easy to injur. One blow to the head can lead to irreversible consequences.
Do you think that Whirl will be jealous because of the way everyone treats Perceptor? He is empurated too, why everyone is so protective over this micro-freak?
I can talk about your au for HOURS man, i will be back. Love your stuff.
(sorry about the grammar again 🤙)
hehe your grammar is good i understood what you were saying :)
"so i really liked it"
im so happy you like it :D, not to get sappy but you were one of the main reasons i sat down to write it because you were the one who really got me thinking on it so thank YOU :)
"also does he know about who Perceptor is?"
hehe that i cant tell you because itd be a spoiler >:) youll have to wait until tomorrow mwehehe
"Perceptor couldnt walk for shit"
oh absolutely, i didnt include it in the prolog but it took him ages to recover (physically) from empurata which is one of the reasons everyone babies him
"Do you think Whirl would be jealous?"
absolutely. 100%. they dont interact much in the comic so i dont think theyll interact much in the fic, but Whirl would be so jealous. he would totally refer to Percy as Micro-freak hehe
it makes me so happy that you enjoy my writing, this is my first ever fic so thank you for inspiring it and enjoying it :)
edit: wrong day, the chapter that Brainstorm does research is not tomorrow but the day after sorry :,)
#hehe#im so happy you like it#potato answers#potato replies#potato thinks#empurata perceptor#transformers
3 notes
·
View notes
Text
Cracking the Code: My Prolog Assignment Success Story - A ProgrammingHomeworkHelp.com Testimonial
As a student navigating the labyrinth of programming assignments, I found myself at a crossroads when faced with the enigmatic world of Prolog. The mere mention of "Prolog assignment" sent shivers down my spine, as I grappled with its complexities. However, my journey took a turn for the better when I stumbled upon ProgrammingHomeworkHelp.com.

What services does ProgrammingHomeworkHelp.com offer?
ProgrammingHomeworkHelp.com is a beacon of light for students like me, offering a plethora of programming assignment assistance services tailored to suit our needs. From tackling Java projects to unraveling the mysteries of Prolog, they provide comprehensive support across various programming languages and concepts.
Why do I need this service?
Prolog, with its logic-based approach, posed a formidable challenge that left me feeling lost and overwhelmed. Despite my best efforts, I struggled to grasp its intricacies and translate them into functional code. That's when I realized the invaluable assistance ProgrammingHomeworkHelp.com could offer. Their team of experts not only possesses a deep understanding of Prolog but also excels in breaking down complex concepts into digestible chunks, making learning more accessible and enjoyable.
How can I find this service?
Finding ProgrammingHomeworkHelp.com was a game-changer for me. With a simple search for "Prolog assignment help," I stumbled upon their website, and from that moment on, my academic journey took a turn for the better. Their user-friendly interface and prompt response to inquiries made it effortless to connect with them and seek the assistance I desperately needed.
What are the steps to submit your assignment and receive a solution?
Submitting my Prolog assignment was a breeze with ProgrammingHomeworkHelp.com. All I had to do was provide them with the details of my task, including any specific requirements or instructions. From there, their team swung into action, meticulously dissecting the problem and crafting a tailored solution that not only met but exceeded my expectations. The process was seamless, transparent, and, most importantly, incredibly efficient.
Conclusion
In conclusion, my experience with ProgrammingHomeworkHelp.com has been nothing short of transformative. Thanks to their unwavering support and expertise, I not only conquered my Prolog assignment but also gained invaluable insights that will serve me well in my future endeavors. If you find yourself grappling with programming assignments, especially in the realm of Prolog, look no further than ProgrammingHomeworkHelp.com. Trust me; you won't be disappointed.
#prolog assignment#prolog assignment help#programming assignment#programming assignment help#education#students#university#college#assignment help#testimonial
0 notes
Text
Adventures in the Dataverse: 000
000: Prolog
Databeasts.
Strange digital creatures, native to the Digital World; an ever expanding universe, found within the confines of the internet.
They are vast.
They are varied.
They are feared, and they are admired.
They are hated, and they are coveted.
Some people are fascinated by them. Some, disgusted by them. Others still are completely indifferent, despite the bizarre phenomenon that has allowed these creatures to come to be at all.
They are what happens when the Digital World bleeds into reality. When data and AI alike work together to create a fully self aware entity with wants and needs all its own.
And for some reason, they are instinctively drawn to humans. Seemingly by design, which has been strongly implied by their creator.
Little is known about it. The creature that rules over all of the digital space.
The entity that lies at the center of it all, constantly gathering and interpreting data.
The seemingly supernatural being which has unlocked technological abilities otherwise thought impossible to achieve.
The Datamaster. The metaphorical mother and father of all that exists within the digital realm.
A creature so secretive and yet so deeply tied to humanity, that every action it takes can somehow be traced back to some desire to be involved with them.
Perhaps because it owes its very existence to humanity.
With no humanity, then the internet would never have been invented. Without the invention of the internet, the unknown program; or series of programs, involved in the creation of the Datamaster would never have come to be. Which meant no Digital World, and in turn no Databeasts.
Love and hate.
Trust and fear.
Desire and indifference.
All ranges of possible thought and emotion seem to exist within the Datamaster, all at the same time. Thus prompting it to do things that both fascinate and terrify humanity as a whole.
Gifts of lifesaving food and medicine, dropped directly into impoverished countries. Delivered directly from the digital realm, in the form of raw data turned organic.
The restoration of buildings and landmarks following natural disasters. Seamlessly restored to the prime state of being, as if updated by some sort of system. The only permanent consequences being the lives that might have been lost along the way.
Human life cannot be replicated.
But strange imitations of life, built upon a foundation of randomly compiled data, can be made.
Hence, the Databeasts. Made to fill the Digital World with life, and to further the Datamaster’s connection to humanity.
Those chosen to partake in the peculiar game receive an experience that can neither be bought nor replicated.
The selection process is unknown. Though some of its rules have been discovered, or at least appear to be.
People without access to the internet cannot be chosen to receive a Databeast. Those without a digital record cannot be contacted, nor can they be studied for the sake of a proper assessment.
People with an active record of violence appear to be banned from selection. This is regardless of whether or not the violence is tied to a criminal record, as Police Officers and other people in “Professions of Violence” have yet to have any reportings of selection.
Similarly, Politicians or other people of heightened power have yet to have any reported instances of selection.
In other words, people who are known to be dangerous and people who have a level of authority over a large population are incapable of being selected to play the game. Likely because providing such people access to Databeasts or to the Digital World could spell disaster.
The potential risks of having these luxuries abused could lead to a surplus of suffering in the world. Suffering that the Datamaster appears intent on avoiding, to the best of its capacity.
For this reason, multiple versions of the game actually exist.
One exists exclusively to entertain children, with a rating of 16 and under.
This child-safe version of the game is comparable to having a Tamagachi. The main focus of the game will be playing with and socializing with Databeasts. Battles take place exclusively in the Digital World, to assure that no accidental harm can befall underage players and those around them.
The minor friendly version of the game is safe, fun to play, and a step up from the typical video game; because the player can legitimately interact with their digital friend in real time, in the real world.
The second version of the game is referred to as the “Soft Adult” version.
In this version, the risks and rewards of rearing Databeasts are brought into the real world. Battles can take place either in the Digital World, or in the Physical World. They are intended to take place in designated zones, where the potential damage to unrelated civilians can be kept to a minimum.
People can get hurt. Property can be destroyed, even if only temporarily. Yet these risks are thought to be worth it, as players with access to this version of the game can literally make a living off of it.
This being because players with the “Soft Adult” version of the game now have virtually unrestricted access to the Digital World. Which allows them to do things like take pictures of real world food, convert those pictures into Data, and then upload that Data into the physical world.
Some people consider this process theft. Others consider it a means of cheating a system meant to keep the majority under the control of a minority, through strict control and regulation of resources.
Either way, many Databeast trainers find a way to make the most of their opportunity. Usually by selling goods or services that are in high demand, without most of the extra strings involved. Such as relying on a third party for a reliable supply of goods. With the only restrictions being that most controlled substances, like drugs, tobacco, and alcohol cannot be obtained through this process.
Excluding drugs meant to be used for purely medicinal purposes, though they cannot be sold at all or otherwise distributed to people who are not in need of them.
The Datamaster knows all. It is malevolent and well meaning, but not foolish. Therefore, it is willing to provide things like insulin or epipens to those who are in need of them. But it is not foolish enough to provide medication to people who would otherwise abuse their use.
The third version of the game is something of a mystery. Something thought to be sort of a Schrodinger's Cat; both real and imaginary, depending on whether or not access has been granted to this version of the game.
The “Full Adult” version of the game, as it is called, is said to unlock access to things that are completely off limits to all other players. Such as the ability to breed Databeasts. Either with other Databeasts, or with people.
Supposedly this version also eventually leads to the ability to craft things like drugs or alcohol, albeit with the same sort of rules that can be applied to the general game. Nothing of this sort can be distributed or sold for the sake of being misused.
Granted, the now available drugs are said to specifically belong to the cannabis variety. Though this, much like the existence of the Full Adult version, is largely considered to be a rumor. Mostly because only those who have unlocked access to this version of the game can access any of these benefits, meaning that anyone without access to it are therefore incapable of verifying its authenticity.
But that is yet another fascinating aspect of the game. The aura of mystery that surrounds every aspect of it.
From the Datamaster to the purpose of the game itself, no one really knows all of the answers. Odds are, no one ever will.
Such is the will of the Datamaster… Or is it? You wouldn’t be able to know for sure one way or the other, thanks to the astounding lack of answers.
4 notes
·
View notes
Text
im a full time lisp lover. between clojure for services, common lisp for low-level stuff, and janet for scripting i basically don't have to touch a language with significant commas for any personal project. but between you and me everyone who constantly talks about how great and mindblowing lisp is is a total moron. i just like expressions! and prefix notation! literally every advantage other than those two is now spread through like every new programming language. oh lisp is homoiconic? that blows your little mind? i have great news about EVERY LANGUAGE WITH MACROS. FUCKING RUST HAS MACROS. most people think writing the ast themselves is not a positive! the reason you think it's a positive is because you like that syntax, just like i do! you know what's a crazy new paradigm for someone? prolog. smalltalk. hell even haskell has some genuine differences from almost all other languages. basically every lisp is a totally normal dynamic language
7 notes
·
View notes
Text
worldbuilding: NQ systems are written in a purely functional, dependently typed theorem prover and programming language called Rjaba. The name is a reference to an East Slavic folktale about a hen who laid a golden egg; this theme seems to have historical significance, though the exact context for the reference seems to have been lost to link-rot.
The syntax and semantics of Rjaba have a passing resemblance to historically important programming languages like Idris, Prolog, Lua, and Unison.
Headless systems tend to expose a command-line interface over a serial port. This CLI accepts a set of imperative commands and also acts as an Rjaba REPL.
Users of other languages tend to find Rjaba obtuse, difficult to mentally model, and underdocumented. Enthusiasts attempt to demonstrate its virtues at every opportunity given.
Here's a summary of the syntax that's been used in these documents so far. (The colors and formatting have significance.)
General
a : A
Asserts that a is a term of type A.
a = b
Asserts that a is equal to b.
λa. f a
A unary function that takes one argument a and returns the result of applying the function f to a.
Interactive contexts
(CLIs, REPLs, etc.)
g:Name
Identifier for the value called Name in the visible global context.
a := b
For the current interactive context, redefines the identifier a to value b.
(more to come!)
9 notes
·
View notes
Text
Computer Language
Computer languages, also known as programming languages, are formal languages used to communicate instructions to a computer. These instructions are written in a syntax that computers can understand and execute. There are numerous programming languages, each with its own syntax, semantics, and purpose. Here are some of the main types of programming languages:
1.Low-Level Languages:
Machine Language: This is the lowest level of programming language, consisting of binary code (0s and 1s) that directly corresponds to instructions executed by the computer's hardware. It is specific to the computer's architecture.
Assembly Language: Assembly language uses mnemonic codes to represent machine instructions. It is a human-readable form of machine language and closely tied to the computer's hardware architecture
2.High-Level Languages:
Procedural Languages: Procedural languages, such as C, Pascal, and BASIC, focus on defining sequences of steps or procedures to perform tasks. They use constructs like loops, conditionals, and subroutines.
Object-Oriented Languages: Object-oriented languages, like Java, C++, and Python, organize code around objects, which are instances of classes containing data and methods. They emphasize concepts like encapsulation, inheritance, and polymorphism.
Functional Languages: Functional languages, such as Haskell, Lisp, and Erlang, treat computation as the evaluation of mathematical functions. They emphasize immutable data and higher-order functions.
Scripting Languages: Scripting languages, like JavaScript, PHP, and Ruby, are designed for automating tasks, building web applications, and gluing together different software components. They typically have dynamic typing and are interpreted rather than compiled.
Domain-Specific Languages (DSLs): DSLs are specialized languages tailored to a specific domain or problem space. Examples include SQL for database querying, HTML/CSS for web development, and MATLAB for numerical computation.
3.Other Types:
Markup Languages: Markup languages, such as HTML, XML, and Markdown, are used to annotate text with formatting instructions. They are not programming languages in the traditional sense but are essential for structuring and presenting data.
Query Languages: Query languages, like SQL (Structured Query Language), are used to interact with databases by retrieving, manipulating, and managing data.
Constraint Programming Languages: Constraint programming languages, such as Prolog, focus on specifying constraints and relationships among variables to solve combinatorial optimization problems.
2 notes
·
View notes
Photo

7:30 PM EDT April 17, 2024:
Voivod - "Experiment" From the album Dimension Hatröss (June 29, 1988)
Last song scrobbled from iTunes at Last.fm
'Inside a giant particle accelerator , a beam of protons, traveling at near the speed of light meets a beam of antiprotons moving equally as fast in the opposite direction. The protons and mirror-image antiprotons annihilate each other, creating the fiery chaos of a parallel micro-galaxy. Experiment One complete, the Voïvod goes into that new dimension, meeting different civilizations and psychic entities, extracting knowledge and energy in the eight programs of this project called: Dimension Hatröss'
Prolog.
File under: Cybermetal
4 notes
·
View notes