[%] 예전에 논리 프로그래밍 인터프리터 구현해보긴 했는데

[Recursi..(recursion)]

https://github.com/mossid/temforai/blob/c28b6358d1f624edc3452bd387c579ec2c3d3add/src/Temforai/Prolog.hs

타입 시스템 없고 무한루프 같은 취약점 분명히 있을거 같음

- dc official App

[기괴공학도(mecheng98)]

그러면 변수배정이라는 개념이 없음? - 훈다리 훈다리

[Recursion(recursion)]

ㄴㄴ f(X,Y, dog) :- f(X,Y,cat) 처럼 변수 있음 - dc App

[기괴공학도(mecheng98)]

그러니까 변수에 집합 또는 타입에 속하는 임의의 값을 집어넣을 수 있냐고 - 훈다리 훈다리

[기괴공학도(mecheng98)]

아무튼 ㅈㄴ 대단하다. 못하는 게 뭐냐? - 훈다리 훈다리

[Recursion(recursion)]

프롤로그를 따서 만든거라 타입 자체가 없음. 어떤 변수 자리가 있으면 아무 아톰이나 거기 넣을 수 있음 - dc App

[기괴공학도(mecheng98)]

그렇구나 그런데 함수형은 짧고 강렬하네 ㄷㄷ 재귀형님 구현력 ㅆㅅㅌㅊ - 훈다리 훈다리