1 year ago

Part 1 of the example I've shown in this video came from the article recently released titled:
"Basic Logic: Logical AI and Knowledge Representation Languages". In the article, it shows what can you do with a very simple knowledge base #shorts
Copy & Paste codes at tml.tau.net

Part 1
is_father_of(John Brenda).
is_father_of(John Charles).
is_father_of(Peter Susan).
is_father_of(Dirk Maureen).
is_female_child(Brenda).
is_female_child(Susan).
is_female_child(Maureen).
is_male_child(Charles).
#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).

I used some emojis to simplify the explanation. I hope so.. :-)

Part 2
🧔👧(John Brenda).🧔👧(Peter Susan).
🧔👧(Dirk Maureen).🧔👦(John Charles).
👧(Brenda).👧(Susan).👧(Maureen).👦(Charles).
#👗(?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