]> git.eshelyaron.com Git - sweep.git/commit
; Exclude grammar rules from regular goal completion
authorEshel Yaron <me@eshelyaron.com>
Mon, 13 Nov 2023 13:11:07 +0000 (14:11 +0100)
committerEshel Yaron <me@eshelyaron.com>
Mon, 13 Nov 2023 13:11:07 +0000 (14:11 +0100)
commitb7233ba9b3096df47649ef57a5f8d0a6eac2a858
tree0942f3e6d122678caee85531d3a572f697a7e866
parentb0eb114ddd0b0642de350f07fc8a69718256bde4
; Exclude grammar rules from regular goal completion

* sweep.pl (sweep_heads_collection/2): Exclude DCG non-terminals when
completing a regular goal.
sweep.pl