JSuder-xx/litlog

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.

语言：OCaml · GitHub 星标：2 · Fork：0

话题：declarative-programming · literate-programming · logic-programming · prolog

在 GitHub 上查看原仓库