Dusa: 그래프 탐색과 Datalog을 결합한 새로운 논리 프로그래밍 언어
2025-01-18
Rob Simmons와 Chris Martens가 만든 논리 프로그래밍 언어 Dusa는 유한 선택 논리 프로그래밍의 첫 번째 구현입니다. Datalog과 Answer Set Programming의 요소를 결합하여 그래프 탐색 언어로도 기능합니다. 웹 에디터, 명령줄 유틸리티, JavaScript API(npm)를 통해 액세스할 수 있으며, Datalog 또는 ASP에 익숙한 사용자에게는 매끄러운 전환을 제공하는 동시에 그래프 탐색 기능을 통해 초보 사용자에게도 사용하기 쉬운 진입점을 제공합니다.
더 보기
개발