Resolve does not check for valid optional arguments

ztangent / Julog.jl

A Julia package for Prolog-style logic programming.

Apache License 2.0

170 stars 11 forks source link

Resolve does not check for valid optional arguments #10

Closed CrashBurnRepeat closed 2 years ago

CrashBurnRepeat commented 3 years ago

Following up from #9, resolve does not actively check to make sure optional arguments are valid, instead checking for specific options (such as :dfs for search) and otherwise using the default option. This can lead to silent "failures" where the user may not know resolve is using different settings than the user intended.

ztangent commented 2 years ago

Belatedly realizing this was fixed in b6a5afd2bb27!