GitHub repository: JSuder-xx/litlog
Primary language: OCaml
Created: 2020-06-07T15:25:58Z
Description: An on-line literate logic programming language (similar to Prolog) designed to replace symbol heavy syntax with literate keywords in order to focus learners on fundamental logic programming concepts.