본인이 C++/JS빼고 인정하는 언어

[익명(220.74)]

Datalog

infix style programming 너무 이쁨....

[자바까면사살(165.132)]

와 그딴 변태같은언어도 다있노

[익명(220.74)]

데이터로그가 유일하게 SQL 싸다구 때릴수 있는 언어인데?

[자바까면사살(165.132)]

찾아보니 프롤로그 subset이네 SQL 싸다구가 아니고 걍 KB 쿼리 언어지 비교할걸 비교해라

[익명(220.74)]

문법이 순수해서 external program으로 extension 만들기 개 좋다......

[자바까면사살(165.132)]

뭐야 시발 infix아닌데?

[익명(220.74)]

disjunctive logic programming 너무 좋아....

[자바까면사살(165.132)]

논리형프로그래밍이 특정 문제에 대한 솔루션이 이쁘긴함

[익명(220.74)]

어차피 "모든 인공지능 기술"이란건 "특정 문제 풀이"야... 함수형 언어도 마찬가지...

[자바까면사살(165.132)]

아니, 인공지능은 여기서 왜튀어나오는지 모르겠고, 함수형 프로그래밍은 그래도 general purpose임. 근데 프롤로그 해본 경험상 논리형 언어는 문제 도메인에 엄청나게 크게 구속돼있음. 딱 거기까지인거지. 논리형 언어들이 왜 지금 쳐망했는지 생각해보면.. ㅇㅇ

[익명(220.74)]

원래 프로그래밍 언어 이론이 인공지능 발전사와 크게 연관되어 있다... 논리형 언어가 망한건 애새끼들이 쓰는 법을 제대로 이해못해서임... 그리고 당대에는 AI 이론도 빈약했고...