You are definitely on to something here. OOP has some common roots with formal o... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		felixyz on July 18, 2024 \| parent \| context \| favorite \| on: Ask HN: What's Prolog like in 2024? You are definitely on to something here. OOP has some common roots with formal ontologies and knowledge representation (not so much the programming languages, but object oriented modeling). OO fails at this for various reasons, whereas logic is tailored for this specific purpose. Check out ErgoAI (formerly Flora-2), it's the most advanced Prolog flavor for representing and reasoning over knowledge. https://github.com/ErgoAI

overclock351 on July 18, 2024 [–]

you guys are giving me so much to read thanks <3 i'll give this a check when i have some time out of exams/work. I will surely check ErgoAI

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact