bobzhang/prolog/cmd/prolog

README
- ::messagePrologError::message
- ::to_reprPrologError::to_repr
- ::applyBindings::apply
- ::apply_deepBindings::apply_deep
- ::emptyBindings::empty
- ::getBindings::get
- ::namesBindings::names
T
Clause
- ::equalCompletion::equal
- ::not_equalCompletion::not_equal
- ::to_reprCompletion::to_repr
- ::equalNum::equal
- ::not_equalNum::not_equal
- ::to_reprNum::to_repr
- ::makeOptions::make
- ::newOptions::new
- ::parseProgram::parse
- ::queryProgram::query
- ::query_withProgram::query_with
- ::answer_linesQueryResult::answer_lines
- ::completion_nameQueryResult::completion_name
- ::is_completeQueryResult::is_complete
- ::equalTerm::equal
- ::free_varsTerm::free_vars
- ::is_listTerm::is_list
- ::not_equalTerm::not_equal
- ::parseTerm::parse
- ::to_reprTerm::to_repr
- ::to_stringTerm::to_string
- ::equalTokKind::equal
- ::not_equalTokKind::not_equal
- ::to_reprTokKind::to_repr
V
atom
V
compound
V
cons
V
empty_list
V
float
V
int
V
list
V
str
V
variable

bobzhang/prolog/cmd/prolog does not have a README file

CliError

type CliError derive(@moonbitlang/core/debug.Debug
Debug)

A small Prolog interpreter: loads an optional program file and answers queries given with --query or read from standard input.

Install

A small Prolog interpreter in MoonBit: SLD resolution with iterative deepening, cut, negation-as-failure, arithmetic, and list built-ins.

prologlogic-programminginterpreterunificationslg

Apache-2.0

Updated 2 days ago

85 downloads