3 years ago

Copy & Paste the codes then go to tml.tau.net to test it. #shorts

🎥 https://www.youtube.com/watch?v=746ZtmTTQxA&list=PLeBSjZu0y6vXYCHH38ToqlVoyOd1qeS5f&index=20 👈

Part 1 [Basic_Logic]
# User Input Facts
is_father_of(John Tanya).
is_father_of(John Charles).
is_father_of(Peter Susan).
is_father_of(Mark Fiona).
is_female_child(Tanya).
is_female_child(Susan).
is_female_child(Fiona).
is_male_child(Charles).
# User Set Rules
is_daughter_of(?x ?y):-
is_father_of(?y ?x),
is_female_child(?x).
is_son_of(?x ?y):-
is_father_of(?y ?x),
is_male_child(?x).

Part 2 [Basic Logic Emojis]
# User Input Facts
🧔(John Tanya).
🧔(Peter Susan).
🧔(Mark Fiona).
🧔(John Charles).
👧(Tanya).👧(Susan).👧(Fiona).
👦(Charles).
# User Set Rules
👗(?x ?y):-👧(?x),🧔(?y ?x).
👕(?x ?y):-👦(?x),🧔(?y ?x).

🧀Test it.
🔗 tml.tau.net
📄Abstract: Draft for Community Review
🔗https://lnkd.in/gWJZj9sN
😼Published codes
🔗 github.com/IDNI/TML
🌐Website of tml
🔗 tau.net/
👨‍🏫Tutorial Videos of TML
🔗https://rb.gy/9ahenx
✈️Telegram community
🔗t.me/tauchain