Prolog 절을 ZIP 가상 머신으로 컴파일해 trilog를 더 빠르게 만드는 프로젝트
A ZIP-style Prolog VM for trilog
zipc는 Prolog를 1984년 Clocksin의 논문에 나오는 ZIP 추상 머신으로 컴파일하는 컴파일러와, 그 바이너리 이미지를 실행하는 C 기반 VM이다. 컴파일러는 Prolog로 작성되어 Scryer Prolog 위에서 동작한다. trilog가 절을 ABC 알고리즘으로 해석하는 대신 ZIP으로 컴파일하면 같은 프로그램이 더 적은 명령과 메모리로 실행될 것으로 기대하며, MVP가 성공하면 trilog의 백엔드가 되는 것이 목표다.
trilog는 절을 ABC 알고리즘으로 항으로 해석하는데, 이를 ZIP으로 컴파일하면 같은 프로그램이 더 적은 명령과 메모리로 실행될 수 있어야 한다.
HN 토론
10- donutdonot
Prolog은 정말 독특하면서도 흥미로운 언어예요. 대학 시절에 이걸 프로그래밍해야 했던 게 즐거웠습니다.
요즘도 Prolog를 쓰는 현대적인 사례가 남아 있나요, 아니면 그냥 학문적 흥미 위주인가요?