jProlog - A Simple Solver (Java)

===========================

0x00 Introduction / 介绍

jProlog is a language describing simple logical problems, using exhaustion to find solutions. Developed by bajdcc.

jProlog 是一个简易的逻辑问题解答程序，主要运用穷举法搜寻解空间，因而时间复杂度受变量数量和长度影响，因而有待优化。

0x01 Grammar / 语法

QUICK: See ANTLR Grammar File(.g4) at Prolog.g4

PS. Supporting Chinese.

I. Define Values of a Collection / 定义集合的值

COLLECTION_NAME{} = {val1,val2,...};

 

海外公司注册、海外银行开户、跨境平台代入驻、VAT、EPR等知识和在线办理：https://www.xlkjsw.com

原标题：逻辑问题求解程序

关键词：