Premium Only Content
#shorts ⚡TML Proof of Concept: Negation, Deletion, and Decidability in 6 lines of codes in 60 sec 🛰️
⚡Showcase TML capabilities: Negation, Deletion, and Decidability in 6 lines of codes in 60 seconds!
👨💻TML codes:
bird(Duck). bird(Hawk). bird(Crow).
#canFly(?x):-bird(?x),~wounded(?x).
#wounded(Crow).
#~wounded(?x):-healer(vet).
#healer(vet). # Only healer(vet) can make canFly(Crow).
#~canFly(?x):-canFly(?x).
🧙Storyline:
There are 3 birds; Duck, Hawk, and Crow.
All of them can fly.
The Crow got wounded so it cannot fly. (Negation)
The vet came to heal the Crow so it can fly again. (Deletion)
We make the "True Statement" false, so it's a contradiction. (Tester)
TML decides what to do (Decidability)
stops the commotion
and gives an error statement, unsat(infinite loop).
Written by Tauist Andrew.
Instructions: Uncomment and click RUN as seen in the YouTube video.
📌TML syntax
head :- body
💡Key Pointers:
✔️ Negation
'~' is placed on the body or ~body.
is like a NOT logic gate, gives the opposite of your input.
"refers to all substitutions of variables that do not satisfy the relation."
-according to the whitepaper Tau-chain and Agoras, P-DATALOG Language.
✔️ Deletion
'~' is placed on the head or ~head.
deletes your input.
✔️ Decidability
"shouldn’t take infinite time in order to answer whether something is legal or not."
-according to the whitepaper Tau-chain and Agoras, 2.5.1 The Laws of Laws
💯Many thanks to
💎Ohad & the team for making this technology possible.
💎Tomas who created this wonderful TML Playground.
💎Photo by Skitterphoto from Pexels
👨🏫Subscribe to more of my tml tutorial videos at
🔗https://rb.gy/9ahenx
🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀
🧀Test it.
🔗 tml.idni.org
📄Tau-chain & Agoras Whitepaper: Draft for Community Review
🔗https://rb.gy/6ga4rt
😼Published codes
🔗 github.com/IDNI/TML
🌐Website of tml
🔗 tau.net/
✈️Telegram community
🔗t.me/tauchain
🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀
💎Download the tml codes.
🔗https://rb.gy/oh3zpj
This is a simple Proof of Concept that Negation, Deletion, and Decidability work in TML.
The example below is written by Tauist Andrew.
Instructions: Uncomment and click RUN as seen in the YouTube video.
Note: Input healer(vet) as ruled, otherwise, Crow cannot fly.
Input - There are 3 kinds of birds.
#bird(Duck). bird(Hawk). bird(Crow).
Negation: bird canFly if bird and "NOT"wounded are both True.
#canFly(?x):-bird(?x),~wounded(?x).
As ruled, no result of canFly(Crow) since Crow is wounded.
#wounded(Crow).
Deletion: wounded is deleted if we input a healer(vet).
#~wounded(?x):-healer(vet).
As ruled, no result of wounded since wounded is deleted.
#healer(vet).
Decidability: If canFly is True, then canFly is False.
This is contradiction. Not stopping will cause infinite loop.
#~canFly(?x):-canFly(?x).
# Many thanks to Ohad and the team for making this technology possible.
# Also special thanks to Tomas who created this wonderful TML Playground.
-
1:19:42
Glenn Greenwald
9 hours agoLab Leak Revelations Prove Corrupt Suppression of COVID Dissent; CNN Boots Jim Acosta: Who & What is a "Journalist"? | SYSTEM UPDATE #398
74.4K98 -
1:11:00
Donald Trump Jr.
13 hours agoFirst White House Press Briefing, Plus Behind the Scenes on Capitol Hill w/ Rep Vince Fong & Sen Eric Schmitt | TRIGGERED Ep.211
194K164 -
1:45:52
Redacted News
10 hours agoBOMBSHELL! Trump about to announce largest spending FREEZE in American history, deep state in PANIC
209K384 -
1:05:23
Man in America
14 hours agoDeepSeek & the AI War to Dominate the New World Order w/ Mike Adams
52.4K18 -
2:50:20
DLDAfterDark
5 hours ago $2.01 earnedDLD Live! Are They Planning an Attack?? The "cute winter boots" Trend & What it Means!
25.4K2 -
55:26
Flyover Conservatives
1 day agoFrom Conspiracy Theory to Proven Fact: Breaking Free from the American Corporation - Ann Vandersteel | FOC Show
39.5K5 -
1:48:32
Danny Polishchuk
11 hours agoThe Funniest Call In Show On Earth - Live From New York City's Best Comedy Club
39.1K -
1:01:12
The StoneZONE with Roger Stone
7 hours agoTrump Authorizes ICE Raids That Save Women and Children | The StoneZONE w/ Roger Stone
42.6K6 -
1:39:36
Patriots With Grit
5 hours agoThe Evil Underbelly of Healthcare | Scott Schara
25.9K4 -
1:30:54
megimu32
9 hours agoON THE SUBJECT: Music fun, Marvel Madness, and HOTSEATTODD!
32.9K1