README- USubst
- EParseError
- EPrologError
- ::from_substAnswer::from_subst
- ::getAnswer::get
- ::ClauseClause::Clause
- ::factClause::fact
- TDynClause
- ::ProgramProgram::Program
- ::addProgram::add
- ::declare_dynamicProgram::declare_dynamic
- ::solveProgram::solve
- ::solve_allProgram::solve_all
- ::solve_firstProgram::solve_first
- ::solve_substProgram::solve_subst
- ::stdlibProgram::stdlib
- ::TermTerm::Term
- ::dcg_bodyTerm::dcg_body
- ::derefTerm::deref
- ::difTerm::dif
- ::eqTerm::eq
- ::head_keyTerm::head_key
- ::identicalTerm::identical
- ::is_Term::is_
- ::neqTerm::neq
- ::notTerm::not
- ::not_identicalTerm::not_identical
- ::quotedTerm::quoted
- ::resolveTerm::resolve
- ::unifyTerm::unify
- TVarRef
- Vatom
- Vcompound
- Vcons
- Vdcg_rule
- Vempty_list
- Vfloat
- Vint
- Vlist
- Vlist_tail
- Vparse_clause
- Vparse_program
- Vparse_term
- Vstr
- Vvariable
amistozy/prolog/cmd/main does not have a README file
Source Files
Install
Download zipA Prolog EDSL in MoonBit: build terms, clauses and programs as ordinary MoonBit values and run SLD resolution with backtracking. Includes a Prolog syntax parser, DCG rules, dif/2 constraints and a relational standard library, modeled after Scryer Prolog.
prologedsllogic-programminglogicmoonbit
Apache-2.0
Updated 2 months ago
59 downloads