논리형 언어 질문

[기괴공학도(mecheng98)]

이거 답이 없다고 나와요??

[익명(220.74)]

어... 다 나와...

[기괴공학도(mecheng98)]

induction2.라고 쿼리 보내면 답이 없다고 나오는데 왜 그래요??

[익명(220.74)]

몰라 ㅋㅋㅋ LP로 짜서 실행해보면 답 나옴...

[기괴공학도(mecheng98)]

얘도 람다-프롤로그라는 논리형 언어인데 ...

[익명(220.74)]

못들어봤고, LP에서 가장 유명한건 Potassco라고 Answer Set programming이라고 있음... 근데 이게 또 완벽한 해답은 아님...

[기괴공학도(mecheng98)]

그렇구나 감사합니다

[다믜(damhiya)]

LP 뿌리가 Prolog 인데 뭐가 제일 유명해...

[익명(220.74)]

그 Prolog 문제점 많아서 개선책으로 10년 전에 나온게 ASP다... 그 ASP도 한계가 있어서 나온게 LP-MLN이고... 나는 Bayesian Logic Programming을 원하고 ㅇㅇ